GeezerVison

Commit history

1. Commits on May 10, 2022

   • test: update commands for deploying to LeanEngine

     

     Fuchen Shi

     committed
     76c6264View commit details

     Copy full SHA for 76c6264

     View code at this pointBrowse repository at this point
2. Commits on Jul 14, 2021

   • build: fix github workflow

     Show description for dc88d58
     weakish

     committed
     dc88d58View commit details

     Copy full SHA for dc88d58

     View code at this pointBrowse repository at this point
3. Commits on Jun 25, 2021

   • build: lean login with token

     weakish

     committed
     fcd8e47View commit details

     Copy full SHA for fcd8e47

     View code at this pointBrowse repository at this point

   • build: update lean-cli

     weakish

     committed
     644dc91View commit details

     Copy full SHA for 644dc91

     View code at this pointBrowse repository at this point
4. Commits on May 18, 2021

   • build: upgrade lean-cli version

     weakish

     committed
     77a131fView commit details

     Copy full SHA for 77a131f

     View code at this pointBrowse repository at this point
5. Commits on Aug 7, 2020

   • Fix GitHub action (#37)

     weakish

     authored
     66088d5View commit details

     Copy full SHA for 66088d5

     View code at this pointBrowse repository at this point

   • test: fix path error

     weakish

     committed
     48f726dView commit details

     Copy full SHA for 48f726d

     View code at this pointBrowse repository at this point
6. Loading