Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Actions: leanprover/cslib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,048 workflow runs
2,048 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge main to nightly-testing Merge main to nightly-testing #433: Scheduled
52s main
main
52s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #275: Scheduled
52s main
main
52s
Merge main to nightly-testing Merge main to nightly-testing #432: Scheduled
1m 7s main
main
1m 7s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #274: Scheduled
54s main
main
54s
Merge main to nightly-testing Merge main to nightly-testing #431: Scheduled
49s main
main
49s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #273: Scheduled
48s main
main
48s
Merge main to nightly-testing Merge main to nightly-testing #430: Scheduled
55s main
main
55s
chore: bump to nightly-2025-11-08 with mathlib at nightly-testing-202… Lean Action CI #841: Commit 1c4e4f2 pushed by leanprover-community-mathlib4-bot
7m 35s nightly-testing
nightly-testing
7m 35s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #272: Scheduled
1m 1s main
main
1m 1s
Merge main to nightly-testing Merge main to nightly-testing #429: Scheduled
57s main
main
57s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #271: Scheduled
22s main
main
22s
Merge main to nightly-testing Merge main to nightly-testing #428: Scheduled
45s main
main
45s
Merge main to nightly-testing Merge main to nightly-testing #427: Scheduled
45s main
main
45s
Merge main to nightly-testing Merge main to nightly-testing #426: Scheduled
1m 15s main
main
1m 15s
Merge main to nightly-testing Merge main to nightly-testing #425: Scheduled
52s main
main
52s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #270: Scheduled
22s main
main
22s
Merge main to nightly-testing Merge main to nightly-testing #424: Scheduled
54s main
main
54s
feat: new design for automata theory, results on regular languages, and deterministic labelled transition systems Check PR title for commit convention #139: Pull request #144 synchronize by fmontesi
8s automata
automata
8s
feat: new design for automata theory, results on regular languages, and deterministic labelled transition systems Lint and suggest #388: Pull request #144 synchronize by fmontesi
1m 46s automata
automata
1m 46s
feat: new design for automata theory, results on regular languages, and deterministic labelled transition systems Lean Action CI #840: Pull request #144 synchronize by fmontesi
5m 40s automata
automata
5m 40s
Globally rename {DA,NA}.Finite to {DA,NA}.FinAcc Lean Action CI #839: Commit 6f0e68f pushed by fmontesi
5m 15s automata
automata
5m 15s
feat: new design for automata theory, results on regular languages, and deterministic labelled transition systems Lean Action CI #838: Pull request #144 synchronize by fmontesi
4m 55s automata
automata
4m 55s
feat: new design for automata theory, results on regular languages, and deterministic labelled transition systems Lint and suggest #387: Pull request #144 synchronize by fmontesi
1m 52s automata
automata
1m 52s
feat: new design for automata theory, results on regular languages, and deterministic labelled transition systems Check PR title for commit convention #138: Pull request #144 synchronize by fmontesi
8s automata
automata
8s
Update Cslib/Foundations/Semantics/LTS/FLTSToLTS.lean Lean Action CI #837: Commit b6e90c0 pushed by fmontesi
5m 2s automata
automata
5m 2s