Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit History

Commits on May 10, 2022

• test: update commands for deploying to LeanEngine

  

  Fuchen Shi

  committed
  76c6264

  Copy full SHA for 76c6264

Commits on Jul 14, 2021

• build: fix github workflow

  Show description for dc88d58
  weakish

  committed
  dc88d58

  Copy full SHA for dc88d58

Commits on Jun 25, 2021

• build: lean login with token

  weakish

  committed
  fcd8e47

  Copy full SHA for fcd8e47

• build: update lean-cli

  weakish

  committed
  644dc91

  Copy full SHA for 644dc91

Commits on May 18, 2021

• build: upgrade lean-cli version

  weakish

  committed
  77a131f

  Copy full SHA for 77a131f

Commits on Aug 7, 2020

• Fix GitHub action (#37)

  weakish

  authored
  66088d5

  Copy full SHA for 66088d5

• test: fix path error

  weakish

  committed
  48f726d

  Copy full SHA for 48f726d

Loading