Skip to content

Actions: fgdorais/lean4-unicode-basic

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,577 workflow runs
1,577 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update Toolchain Update Toolchain #832: Scheduled
13s main
main
13s
github_actions in /. - Update #1213197627 Dependabot Updates #445: by dependabot bot
32s main
main
32s
chore: update toolchain nightly-2026-01-16 Build #599: Commit 734e1dd pushed by fgdorais
47s nightly-testing
nightly-testing
47s
Update Nightly Testing Update Nightly Testing #38: Scheduled
12s main
main
12s
Update Toolchain Update Toolchain #831: Scheduled
12s main
main
12s
chore: update toolchain nightly-2026-01-16 Build #598: Commit e4c820d pushed by fgdorais
42s nightly-testing
nightly-testing
42s
Update Nightly Testing Update Nightly Testing #37: Scheduled
12s main
main
12s
Update Toolchain Update Toolchain #830: Scheduled
12s main
main
12s
chore: update toolchain nightly-2026-01-16 Build #597: Commit c9840c4 pushed by fgdorais
1m 0s nightly-testing
nightly-testing
1m 0s
Update Nightly Testing Update Nightly Testing #36: Scheduled
14s main
main
14s
Update Toolchain Update Toolchain #829: Scheduled
16s main
main
16s
github_actions in /. - Update #1211012829 Dependabot Updates #444: by dependabot bot
38s main
main
38s
Update Nightly Testing Update Nightly Testing #35: Scheduled
12s main
main
12s
chore: update toolchain nightly-2026-01-15 Build #596: Commit 22a149c pushed by fgdorais
1m 6s nightly-testing
nightly-testing
1m 6s
Update Nightly Testing Update Nightly Testing #34: Manually run by fgdorais
13s main
main
13s
chore: fix nightly-testing Build #595: Commit 0d1898e pushed by fgdorais
46s nightly-testing
nightly-testing
46s
Update Toolchain Update Toolchain #828: Scheduled
12s main
main
12s
chore: fix nightly-testing merging strategy Build #594: Commit 6fba7f1 pushed by fgdorais
49s main
main
49s
github_actions in /. - Update #1210095719 Dependabot Updates #443: by dependabot bot
37s main
main
37s
chore: update toolchain nightly-2026-01-15 Build #593: Commit e83cfad pushed by fgdorais
1m 14s nightly-testing
nightly-testing
1m 14s
Update Nightly Testing Update Nightly Testing #33: Scheduled
12s main
main
12s
Update Toolchain Update Toolchain #827: Scheduled
16s main
main
16s
github_actions in /. - Update #1208782919 Dependabot Updates #442: by dependabot bot
38s main
main
38s
chore: update toolchain nightly-2026-01-14 Build #592: Commit 38cbdc1 pushed by fgdorais
56s nightly-testing
nightly-testing
56s
Update Nightly Testing Update Nightly Testing #32: Scheduled
15s main
main
15s