Skip to content

Actions: leanprover/cslib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
7,332 workflow runs
7,332 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: Initialization of Cyber-Physical Systems library , with Lyapuno… Check PR title for commit convention #1208: Pull request #373 opened by BasharHamade12
Action required BasharHamade12:main
BasharHamade12:main
Action required
feat: Initialization of Cyber-Physical Systems library , with Lyapuno… Lean Action CI #2241: Pull request #373 opened by BasharHamade12
Action required BasharHamade12:main
BasharHamade12:main
Action required
Merge main to nightly-testing Merge main to nightly-testing #1308: Scheduled
1m 9s main
main
1m 9s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1220: completed by Shreyas4991
2s
2s
feat: query complexity model for algorithms theory Lean Action CI #2240: Pull request #372 synchronize by Shreyas4991
6m 21s Shreyas4991:query-final-squash
Shreyas4991:query-final-squash
6m 21s
feat: query complexity model for algorithms theory Check PR title for commit convention #1207: Pull request #372 synchronize by Shreyas4991
6s Shreyas4991:query-final-squash
Shreyas4991:query-final-squash
6s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1219: completed by WegmannDavid
1s
1s
added general lemmas for strong normalization of untyped lambda terms… Lean Action CI #2239: Pull request #327 synchronize by WegmannDavid
2m 8s WegmannDavid:main
WegmannDavid:main
2m 8s
added general lemmas for strong normalization of untyped lambda terms… Check PR title for commit convention #1206: Pull request #327 synchronize by WegmannDavid
9s WegmannDavid:main
WegmannDavid:main
9s
added general lemmas for strong normalization of untyped lambda terms… Check PR title for commit convention #1205: Pull request #327 synchronize by WegmannDavid
Action required WegmannDavid:main
WegmannDavid:main
Action required
added general lemmas for strong normalization of untyped lambda terms… Lean Action CI #2238: Pull request #327 synchronize by WegmannDavid
Action required WegmannDavid:main
WegmannDavid:main
Action required
Merge main to nightly-testing Merge main to nightly-testing #1307: Scheduled
54s main
main
54s
Merge main to nightly-testing Merge main to nightly-testing #1306: Scheduled
55s main
main
55s
feat: query complexity model for algorithms theory Check PR title for commit convention #1204: Pull request #372 edited by Shreyas4991
6s Shreyas4991:query-final-squash
Shreyas4991:query-final-squash
6s
feat: query complexity model for algorithms theory Check PR title for commit convention #1203: Pull request #372 edited by Shreyas4991
9s Shreyas4991:query-final-squash
Shreyas4991:query-final-squash
9s
feat: query complexity model for algorithms theory Check PR title for commit convention #1202: Pull request #372 edited by Shreyas4991
9s Shreyas4991:query-final-squash
Shreyas4991:query-final-squash
9s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1218: completed by Shreyas4991
1s
1s
feat: query complexity model for algorithms theory Lean Action CI #2237: Pull request #372 opened by Shreyas4991
6m 39s Shreyas4991:query-final-squash
Shreyas4991:query-final-squash
6m 39s
feat: query complexity model for algorithms theory Check PR title for commit convention #1201: Pull request #372 opened by Shreyas4991
8s Shreyas4991:query-final-squash
Shreyas4991:query-final-squash
8s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #826: Scheduled
24s main
main
24s
Merge main to nightly-testing Merge main to nightly-testing #1305: Scheduled
1m 0s main
main
1m 0s
feat(Boole): add verified algorithm examples Check PR title for commit convention #1200: Pull request #369 synchronize by Robertboy18
Action required Robertboy18:feat/boole-examples
Robertboy18:feat/boole-examples
Action required
feat(Boole): add verified algorithm examples Lean Action CI #2236: Pull request #369 synchronize by Robertboy18
Action required Robertboy18:feat/boole-examples
Robertboy18:feat/boole-examples
Action required
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1217: completed by kuotsanhsu
1s
1s
LongestCommonSublist: TimeM proof Lean Action CI #2235: Pull request #370 opened by kuotsanhsu
1m 10s kuotsanhsu:longest_common_sublist
kuotsanhsu:longest_common_sublist
1m 10s