Skip to content

Actions: fgdorais/lean4-unicode-basic

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
586 workflow runs
586 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
chore: update toolchain nightly-2026-05-03 Build #771: Commit d728bed pushed by fgdorais
1m 16s nightly-testing
nightly-testing
1m 16s
chore: update toolchain nightly-2026-05-01 Build #770: Commit 1c9fc9d pushed by fgdorais
1m 8s nightly-testing
nightly-testing
1m 8s
chore: update toolchain nightly-2026-04-30 Build #769: Commit e2071f6 pushed by fgdorais
1m 22s nightly-testing
nightly-testing
1m 22s
chore: update toolchain nightly-2026-04-29 Build #768: Commit 34089e5 pushed by fgdorais
1m 8s nightly-testing
nightly-testing
1m 8s
chore: update toolchain nightly-2026-04-28 Build #767: Commit 624edc1 pushed by fgdorais
1m 0s nightly-testing
nightly-testing
1m 0s
chore: update toolchain nightly-2026-04-25 Build #766: Commit 6c65f12 pushed by fgdorais
1m 4s nightly-testing
nightly-testing
1m 4s
chore: update toolchain nightly-2026-04-23 Build #765: Commit 48aa94f pushed by fgdorais
1m 18s nightly-testing
nightly-testing
1m 18s
chore: update toolchain nightly-2026-04-22 Build #764: Commit bb14526 pushed by fgdorais
58s nightly-testing
nightly-testing
58s
chore: merge main into nightly-testing Build #763: Commit 3da26bd pushed by fgdorais
1m 9s nightly-testing
nightly-testing
1m 9s
feat: use modules (#127) Build #762: Commit 603cc6e pushed by fgdorais
1m 3s main
main
1m 3s
feat: use modules Build #761: Pull request #127 synchronize by fgdorais
54s hatzka-nezumi:modules
hatzka-nezumi:modules
54s
feat: use modules Build #760: Pull request #127 synchronize by fgdorais
1m 4s hatzka-nezumi:modules
hatzka-nezumi:modules
1m 4s
chore: restore history Build #759: Commit 4c08c70 pushed by fgdorais
57s nightly-testing
nightly-testing
57s
chore: merge main into nightly-testing Build #758: Commit 061d218 pushed by fgdorais
43s nightly-testing
nightly-testing
43s
chore: cleanup workflows Build #757: Commit 11ebdd5 pushed by fgdorais
46s main
main
46s
chore: update toolchain nightly-2026-04-20 Build #756: Commit ac917e8 pushed by fgdorais
1m 3s nightly-testing
nightly-testing
1m 3s
chore: merge main into nightly-testing Build #755: Commit 8679cf1 pushed by fgdorais
46s nightly-testing
nightly-testing
46s
fix: typo Build #754: Commit 4418457 pushed by fgdorais
41s main
main
41s
fix: update nightly workflows Build #753: Commit 6b70392 pushed by fgdorais
44s main
main
44s
chore: update toolchain nightly-2026-04-17 Build #752: Commit 767672f pushed by fgdorais
54s nightly-testing
nightly-testing
54s
fix: update toolchain workflow (#140) Build #751: Commit b5c77dc pushed by fgdorais
40s main
main
40s
fix: update toolchain workflow Build #750: Pull request #140 opened by fgdorais
42s fix-update-toolchain
fix-update-toolchain
42s
chore: update toolchain nightly-2026-04-17 Build #749: Commit 4d102b8 pushed by fgdorais
43s nightly-testing
nightly-testing
43s
fix: update toolchain v4.30.0-rc2 (#139) Build #748: Commit 05954ce pushed by fgdorais
1m 17s main
main
1m 17s
fix: update toolchain v4.30.0-rc2 Build #747: Pull request #139 synchronize by fgdorais
1m 2s revert-138-update-toolchain-v4.30.0-rc2
revert-138-update-toolchain-v4.30.0-rc2
1m 2s