Workflow runs · leanprover/lean4-cli · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

501 workflow runs

501 workflow runs

chore: bump to nightly-2023-08-23 build lean4-cli #66: Pull request #16 synchronize by kim-em

August 27, 2023 02:57

30s kim-em:bump-nightly-2023-08-19

kim-em:bump-nightly-2023-08-19

August 27, 2023 02:57

30s

ProTip! You can narrow down the results and go further in time using created:<2023-08-27 or the other filters available.