Skip to content

Actions: leanprover/cslib

Actions

Lean Action CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean_action_ci.yml
2,500+ workflow runs
2,500+ workflow runs

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
feat: proof of Myhill-Nerode theorem for DFAs Lean Action CI #3226: Pull request #491 synchronize by ctchou
4m 57s akhilesh-balaji:myhill-nerode
akhilesh-balaji:myhill-nerode
4m 57s
feat: add Logics/Propositional/NaturalDeduction/* Lean Action CI #3225: Pull request #91 synchronize by thomaskwaring
5m 27s thomaskwaring:nj-deduction
thomaskwaring:nj-deduction
5m 27s
Merge main into nightly-testing Lean Action CI #3224: Commit 4873eac pushed by mathlib-nightly-testing Bot
9m 8s nightly-testing
nightly-testing
9m 8s
feat: add Logics/Propositional/NaturalDeduction/* Lean Action CI #3223: Pull request #91 synchronize by thomaskwaring
7m 25s thomaskwaring:nj-deduction
thomaskwaring:nj-deduction
7m 25s
feat: add Logics/Propositional/NaturalDeduction/* Lean Action CI #3222: Pull request #91 synchronize by thomaskwaring
1m 12s thomaskwaring:nj-deduction
thomaskwaring:nj-deduction
1m 12s
feat: Tagged InferenceSystem (#518) Lean Action CI #3221: Commit b81a06e pushed by github-merge-queue Bot
5m 20s main
main
5m 20s
Lean Action CI Lean Action CI #3220: Merge group checks requested
7m 4s
7m 4s
feat: Tagged InferenceSystem Lean Action CI #3219: Pull request #518 synchronize by fmontesi
5m 14s cll-fragments
cll-fragments
5m 14s
Merge main into nightly-testing Lean Action CI #3218: Commit ad11211 pushed by mathlib-nightly-testing Bot
8m 41s nightly-testing
nightly-testing
8m 41s
chore: conform to header linter (#517) Lean Action CI #3217: Commit 5e8967d pushed by github-merge-queue Bot
7m 52s main
main
7m 52s
Lean Action CI Lean Action CI #3216: Merge group checks requested
8m 0s
8m 0s
Lean Action CI Lean Action CI #3215: Merge group checks requested
5m 54s
5m 54s
feat: Tagged InferenceSystem Lean Action CI #3214: Pull request #518 synchronize by fmontesi
5m 24s cll-fragments
cll-fragments
5m 24s
feat: Tagged InferenceSystem Lean Action CI #3213: Pull request #518 synchronize by fmontesi
6m 45s cll-fragments
cll-fragments
6m 45s
feat: Tagged InferenceSystem Lean Action CI #3212: Pull request #518 synchronize by fmontesi
5m 52s cll-fragments
cll-fragments
5m 52s
feat: Tagged InferenceSystem Lean Action CI #3211: Pull request #518 synchronize by fmontesi
5m 34s cll-fragments
cll-fragments
5m 34s
feat: Tagged InferenceSystem Lean Action CI #3210: Pull request #518 synchronize by fmontesi
5m 28s cll-fragments
cll-fragments
5m 28s
feat: Tagged InferenceSystem Lean Action CI #3209: Pull request #518 synchronize by fmontesi
7m 26s cll-fragments
cll-fragments
7m 26s
Merge main into nightly-testing Lean Action CI #3208: Commit 347259c pushed by mathlib-nightly-testing Bot
8m 53s nightly-testing
nightly-testing
8m 53s
feat(LocallyNameless/Untyped): generalize swap_open_fvars (#516) Lean Action CI #3207: Commit f908775 pushed by github-merge-queue Bot
18m 24s main
main
18m 24s
Lean Action CI Lean Action CI #3206: Merge group checks requested
11m 59s
11m 59s
feat(LocallyNameless/Untyped): generalize swap_open_fvars Lean Action CI #3205: Pull request #516 synchronize by chenson2018
8m 17s lengyijun:main
lengyijun:main
8m 17s
chore: adaptations for nightly-2026-04-24 Lean Action CI #3204: Commit 0031af2 pushed by mathlib-nightly-testing Bot
5m 39s nightly-testing
nightly-testing
5m 39s
chore: adaptations for nightly-2026-04-24 Lean Action CI #3203: Pull request #519 opened by mathlib-nightly-testing Bot
12m 28s bump/nightly-2026-04-24
bump/nightly-2026-04-24
12m 28s
feat: Tagged InferenceSystem Lean Action CI #3202: Pull request #518 synchronize by fmontesi
6m 30s cll-fragments
cll-fragments
6m 30s