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. #2123: completed by github-merge-queue Bot
1s
1s
chore: Bump mathlib dependency to 6727686 (#527) Run TODO to Issue #249: Commit 76a79aa pushed by github-merge-queue Bot
18s main
main
18s
chore: Bump mathlib dependency to 6727686 (#527) Lean Action CI #3292: Commit 76a79aa pushed by github-merge-queue Bot
19m 13s main
main
19m 13s
chore: Bump mathlib dependency to 6727686 (#527) Build and Deploy Documentation #163: Commit 76a79aa pushed by github-merge-queue Bot
In progress main
main
In progress
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2122: completed by chenson2018
1s
1s
Lean Action CI Lean Action CI #3291: Merge group checks requested
8m 48s
8m 48s
Check PR title for commit convention Check PR title for commit convention #2174: Merge group checks requested
5s
5s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2121: completed by chenson2018
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2120: completed by chenson2018
1s
1s
chore: Bump mathlib dependency to 6727686 Check PR title for commit convention #2173: Pull request #527 synchronize by chenson2018
6s hopscotch/lkg-bump
hopscotch/lkg-bump
6s
chore: Bump mathlib dependency to 6727686 Lean Action CI #3290: Pull request #527 synchronize by chenson2018
8m 18s hopscotch/lkg-bump
hopscotch/lkg-bump
8m 18s
chore: Bump mathlib dependency to 6727686 Check PR title for commit convention #2172: Pull request #527 synchronize by chenson2018
11s hopscotch/lkg-bump
hopscotch/lkg-bump
11s
chore: Bump mathlib dependency to 6727686 Lean Action CI #3289: Pull request #527 synchronize by chenson2018
5m 36s hopscotch/lkg-bump
hopscotch/lkg-bump
5m 36s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1154: Scheduled
27s main
main
27s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2119: completed by thomaskwaring
1s
1s
refactor(Logics/Propositional): classical and intuitionistic inference systems Check PR title for commit convention #2171: Pull request #536 synchronize by thomaskwaring
7s thomaskwaring:nj-theories-fresh
thomaskwaring:nj-theories-fresh
7s
refactor(Logics/Propositional): classical and intuitionistic inference systems Lean Action CI #3288: Pull request #536 synchronize by thomaskwaring
5m 21s thomaskwaring:nj-theories-fresh
thomaskwaring:nj-theories-fresh
5m 21s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2118: completed by thomaskwaring
2s
2s
Merge main to nightly-testing Merge main to nightly-testing #1831: Scheduled
57s main
main
57s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2117: completed by thomaskwaring
1s
1s
refactor(Logics/Propositional): classical and intuitionistic inference systems Lean Action CI #3287: Pull request #536 synchronize by thomaskwaring
4m 23s thomaskwaring:nj-theories-fresh
thomaskwaring:nj-theories-fresh
4m 23s
refactor(Logics/Propositional): classical and intuitionistic inference systems Check PR title for commit convention #2170: Pull request #536 synchronize by thomaskwaring
6s thomaskwaring:nj-theories-fresh
thomaskwaring:nj-theories-fresh
6s
refactor(Logics/Propositional): classical and intuitionistic inference systems Lean Action CI #3286: Pull request #536 opened by thomaskwaring
4m 42s thomaskwaring:nj-theories-fresh
thomaskwaring:nj-theories-fresh
4m 42s
refactor(Logics/Propositional): classical and intuitionistic inference systems Check PR title for commit convention #2169: Pull request #536 opened by thomaskwaring
9s thomaskwaring:nj-theories-fresh
thomaskwaring:nj-theories-fresh
9s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1153: Scheduled
21s main
main
21s