Skip to content

Actions: leanprover/cslib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1890: Scheduled
36s main
main
36s
Merge main to nightly-testing Merge main to nightly-testing #2997: Scheduled
55s main
main
55s
Bump mathlib to LKG Bump mathlib to LKG #184: Scheduled
12s main
main
12s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1889: Scheduled
30s main
main
30s
Merge main to nightly-testing Merge main to nightly-testing #2996: Scheduled
41s main
main
41s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #4415: completed by SamuelSchlesinger
9s
9s
refactor(Circuit): changes gate arguments to use an inductive wire type rather than Fin (inputCount + gateCount) Check PR title for commit convention #4591: Pull request #957 synchronize by SamuelSchlesinger
7s SamuelSchlesinger:samschlesinger/wire-refactor
SamuelSchlesinger:samschlesinger/wire-refactor
7s
refactor(Circuit): changes gate arguments to use an inductive wire type rather than Fin (inputCount + gateCount) Lean Action CI #5653: Pull request #957 synchronize by SamuelSchlesinger
5m 0s SamuelSchlesinger:samschlesinger/wire-refactor
SamuelSchlesinger:samschlesinger/wire-refactor
5m 0s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #4414: completed by SamuelSchlesinger
1s
1s
refactor(Circuit): changes gate arguments to use an inductive wire type rather than Fin (inputCount + gateCount) Lean Action CI #5652: Pull request #957 opened by SamuelSchlesinger
3m 30s SamuelSchlesinger:samschlesinger/wire-refactor
SamuelSchlesinger:samschlesinger/wire-refactor
3m 30s
refactor(Circuit): changes gate arguments to use an inductive wire type rather than Fin (inputCount + gateCount) Check PR title for commit convention #4590: Pull request #957 opened by SamuelSchlesinger
6s SamuelSchlesinger:samschlesinger/wire-refactor
SamuelSchlesinger:samschlesinger/wire-refactor
6s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1888: Scheduled
30s main
main
30s
Merge main to nightly-testing Merge main to nightly-testing #2995: Scheduled
1m 30s main
main
1m 30s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #4413: completed by pepamontero
1s
1s
feat(LambdaCalculus): write mapVal in terms of List.map; add similar lemmas Check PR title for commit convention #4589: Pull request #919 synchronize by pepamontero
5s pepamontero:Context-mapVal_def
pepamontero:Context-mapVal_def
5s
feat(LambdaCalculus): write mapVal in terms of List.map; add similar lemmas Lean Action CI #5651: Pull request #919 synchronize by pepamontero
5m 50s pepamontero:Context-mapVal_def
pepamontero:Context-mapVal_def
5m 50s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1887: Scheduled
27s main
main
27s
Merge main to nightly-testing Merge main to nightly-testing #2994: Scheduled
1m 7s main
main
1m 7s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1886: Scheduled
59s main
main
59s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #4412: completed by mathlib-nightly-testing Bot
18s
18s
Merge main into nightly-testing Lean Action CI #5650: Commit 0b5b20e pushed by mathlib-nightly-testing Bot
9m 36s nightly-testing
nightly-testing
9m 36s
Merge main to nightly-testing Merge main to nightly-testing #2993: Scheduled
54s main
main
54s
chore: bump toolchain to v4.35.0-rc3 (#956) Release #28: Commit a91aaaf pushed by Garmelon
9s v4.35.0-rc3
v4.35.0-rc3
9s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #4411: completed by github-merge-queue Bot
1s
1s
chore: bump toolchain to v4.35.0-rc3 (#956) Lean Action CI #5649: Commit a91aaaf pushed by github-merge-queue Bot
8m 46s main
main
8m 46s