Skip to content

Actions: leanprover/lean4-cli

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
513 workflow runs
513 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

check lean4-cli build on current nightly check lean4-cli build on current nightly #472: Scheduled
September 3, 2023 14:04 46s main
main
September 3, 2023 14:04 46s
check lean4-cli build on current nightly check lean4-cli build on current nightly #471: Scheduled
September 2, 2023 14:04 36s main
main
September 2, 2023 14:04 36s
check lean4-cli build on current nightly check lean4-cli build on current nightly #470: Scheduled
September 1, 2023 14:06 38s main
main
September 1, 2023 14:06 38s
check lean4-cli build on current nightly check lean4-cli build on current nightly #469: Scheduled
August 31, 2023 14:06 46s main
main
August 31, 2023 14:06 46s
check lean4-cli build on current nightly check lean4-cli build on current nightly #468: Scheduled
August 30, 2023 14:05 36s main
main
August 30, 2023 14:05 36s
check lean4-cli build on current nightly check lean4-cli build on current nightly #467: Scheduled
August 29, 2023 14:06 40s main
main
August 29, 2023 14:06 40s
check lean4-cli build on current nightly check lean4-cli build on current nightly #466: Scheduled
August 28, 2023 14:05 36s main
main
August 28, 2023 14:05 36s
check lean4-cli build on current nightly check lean4-cli build on current nightly #465: Scheduled
August 27, 2023 14:04 40s main
main
August 27, 2023 14:04 40s
doc: fix minor errors in README build lean4-cli #69: Commit 21dac2e pushed by mhuisi
August 27, 2023 09:47 30s v2.2.0-lnightly-2023-08-23
v2.2.0-lnightly-2023-08-23
August 27, 2023 09:47 30s
doc: fix minor errors in README build lean4-cli #68: Commit 21dac2e pushed by mhuisi
August 27, 2023 09:43 35s nightly
nightly
August 27, 2023 09:43 35s
chore: bump to nightly-2023-08-23 (#16) build lean4-cli #67: Commit e6f4904 pushed by mhuisi
August 27, 2023 09:28 34s nightly
nightly
August 27, 2023 09:28 34s
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
check lean4-cli build on current nightly check lean4-cli build on current nightly #464: Scheduled
August 26, 2023 14:04 32s main
main
August 26, 2023 14:04 32s
chore: bump to nightly-2023-08-23 build lean4-cli #65: Pull request #16 synchronize by mhuisi
August 25, 2023 16:14 36s kim-em:bump-nightly-2023-08-19
kim-em:bump-nightly-2023-08-19
August 25, 2023 16:14 36s
check lean4-cli build on current nightly check lean4-cli build on current nightly #463: Scheduled
August 25, 2023 14:06 48s main
main
August 25, 2023 14:06 48s
chore: adjust README build lean4-cli #64: Commit b25b443 pushed by mhuisi
August 24, 2023 19:07 31s nightly
nightly
August 24, 2023 19:07 31s
feat: ParseableType ModuleName supporting paths or module identifiers… build lean4-cli #63: Commit 4a59ea4 pushed by mhuisi
August 24, 2023 18:59 29s nightly
nightly
August 24, 2023 18:59 29s
check lean4-cli build on current nightly check lean4-cli build on current nightly #462: Scheduled
August 24, 2023 14:06 36s main
main
August 24, 2023 14:06 36s
check lean4-cli build on current nightly check lean4-cli build on current nightly #461: Scheduled
August 23, 2023 14:06 43s main
main
August 23, 2023 14:06 43s
check lean4-cli build on current nightly check lean4-cli build on current nightly #460: Scheduled
August 22, 2023 14:06 38s main
main
August 22, 2023 14:06 38s
check lean4-cli build on current nightly check lean4-cli build on current nightly #459: Scheduled
August 21, 2023 14:06 46s main
main
August 21, 2023 14:06 46s
check lean4-cli build on current nightly check lean4-cli build on current nightly #458: Scheduled
August 20, 2023 14:04 43s main
main
August 20, 2023 14:04 43s
check lean4-cli build on current nightly check lean4-cli build on current nightly #457: Scheduled
August 19, 2023 14:04 51s main
main
August 19, 2023 14:04 51s
check lean4-cli build on current nightly check lean4-cli build on current nightly #456: Scheduled
August 18, 2023 14:05 42s main
main
August 18, 2023 14:05 42s
check lean4-cli build on current nightly check lean4-cli build on current nightly #455: Scheduled
August 17, 2023 14:05 34s main
main
August 17, 2023 14:05 34s
ProTip! You can narrow down the results and go further in time using created:<2023-08-17 or the other filters available.