scratches/doug
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
6 commits 1 branch 0 tags 36 KiB
Commit graph

3 commits

Author SHA1 Message Date
qwjyh
244ace87c3 argument for starting directory (completed)
Some checks failed
Lean Action CI / build (push) Has been cancelled
Details
2024-10-23 14:31:20 +09:00
qwjyh
3124f2bf78 before creating custom monad & lake script to run main
Some checks are pending
Lean Action CI / build (push) Waiting to run
Details
2024-10-21 12:37:11 +09:00
qwjyh
a7b9963740 lake + some packages
Some checks failed
Lean Action CI / build (push) Has been cancelled
Details
2024-10-20 16:17:37 +09:00