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
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2301: completed by WegmannDavid
2s
2s
feat: parallel substitution typeclass; refactor strong normalization Check PR title for commit convention #2376: Pull request #583 opened by WegmannDavid
9s WegmannDavid:parallel-substitution
WegmannDavid:parallel-substitution
9s
feat: parallel substitution typeclass; refactor strong normalization Lean Action CI #3500: Pull request #583 opened by WegmannDavid
10m 27s WegmannDavid:parallel-substitution
WegmannDavid:parallel-substitution
10m 27s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2300: completed by chenson2018
2s
2s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1248: Scheduled
23s main
main
23s
feat: more lemmas on Euclidean relations Lean Action CI #3499: Pull request #574 synchronize by chenson2018
6m 8s chenson2018/more-euclidean
chenson2018/more-euclidean
6m 8s
feat: more lemmas on Euclidean relations Check PR title for commit convention #2375: Pull request #574 synchronize by chenson2018
10s chenson2018/more-euclidean
chenson2018/more-euclidean
10s
Merge main to nightly-testing Merge main to nightly-testing #1976: 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. #2299: completed by thomaskwaring
1s
1s
feat(Foundations/Logic): Notation typeclasses and models Lean Action CI #3498: Pull request #582 opened by thomaskwaring
1m 12s thomaskwaring:hilbert'
thomaskwaring:hilbert'
1m 12s
feat(Foundations/Logic): Notation typeclasses and models Check PR title for commit convention #2374: Pull request #582 opened by thomaskwaring
8s thomaskwaring:hilbert'
thomaskwaring:hilbert'
8s
feat(Crypto): Generalize encryption schemes over arbitrary monads Lean Action CI #3497: Pull request #581 opened by dtumad
Action required dtumad:dtumad/monad-generic-encryption-schemes
dtumad:dtumad/monad-generic-encryption-schemes
Action required
feat(Crypto): Generalize encryption schemes over arbitrary monads Check PR title for commit convention #2373: Pull request #581 opened by dtumad
Action required dtumad:dtumad/monad-generic-encryption-schemes
dtumad:dtumad/monad-generic-encryption-schemes
Action required
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1247: Scheduled
41s main
main
41s
Merge main to nightly-testing Merge main to nightly-testing #1975: Scheduled
1m 10s main
main
1m 10s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1246: Scheduled
29s main
main
29s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2298: completed by mathlib-nightly-testing Bot
17s
17s
Merge main into nightly-testing Lean Action CI #3496: Commit 78edf68 pushed by mathlib-nightly-testing Bot
9m 38s nightly-testing
nightly-testing
9m 38s
Merge main to nightly-testing Merge main to nightly-testing #1974: Scheduled
1m 21s main
main
1m 21s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2297: completed by github-merge-queue Bot
2s
2s
feat: precise close_preserve_not_fvar (#580) Run TODO to Issue #265: Commit caa9a9c pushed by github-merge-queue Bot
12s main
main
12s
feat: precise close_preserve_not_fvar (#580) Lean Action CI #3495: Commit caa9a9c pushed by github-merge-queue Bot
5m 15s main
main
5m 15s
feat: precise close_preserve_not_fvar (#580) Build and Deploy Documentation #179: Commit caa9a9c pushed by github-merge-queue Bot
41m 19s main
main
41m 19s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2296: completed by chenson2018
2s
2s
Lean Action CI Lean Action CI #3494: Merge group checks requested
5m 43s
5m 43s