Skip to content

Actions: fgdorais/lean4-unicode-basic

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
587 workflow runs
587 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: bump toolchain to v4.29.0-rc7 Build #690: Pull request #129 opened by kim-em
1m 1s bump_to_v4.29.0-rc7
bump_to_v4.29.0-rc7
1m 1s
chore: update toolchain v4.29.0-rc7 Build #689: Pull request #128 opened by fgdorais
1m 20s update-toolchain-v4.29.0-rc7
update-toolchain-v4.29.0-rc7
1m 20s
feat: use modules Build #688: Pull request #127 opened by hatzka-nezumi
57s hatzka-nezumi:modules
hatzka-nezumi:modules
57s
chore: fix ci Build #687: Commit 7139da0 pushed by fgdorais
1m 6s main
main
1m 6s
chore: update toolchain nightly-2026-03-22 Build #686: Commit f179ffa pushed by fgdorais
1m 1s nightly-testing
nightly-testing
1m 1s
fix: docstring edit Build #685: Commit d3329d2 pushed by fgdorais
45s nightly-testing
nightly-testing
45s
chore: update toolchain nightly-2026-03-19-rev1 Build #684: Commit e5430d4 pushed by fgdorais
59s nightly-testing
nightly-testing
59s
chore: update toolchain nightly-2026-03-19 Build #683: Commit 0187bb9 pushed by fgdorais
43s nightly-testing
nightly-testing
43s
chore: update toolchain nightly-2026-03-19 Build #682: Commit 8d1e502 pushed by fgdorais
52s nightly-testing
nightly-testing
52s
feat: add Script property Build #681: Pull request #126 opened by fgdorais
1m 11s script
script
1m 11s
chore: update toolchain nightly-2026-03-19 Build #680: Commit e039d9e pushed by fgdorais
1m 3s nightly-testing
nightly-testing
1m 3s
chore: update toolchain nightly-2026-03-17 Build #679: Commit e96cb97 pushed by fgdorais
1m 5s nightly-testing
nightly-testing
1m 5s
chore: update toolchain nightly-2026-03-16 Build #678: Commit d23841d pushed by fgdorais
1m 4s nightly-testing
nightly-testing
1m 4s
chore: update toolchain nightly-2026-03-15 Build #677: Commit 35a4031 pushed by fgdorais
48s nightly-testing
nightly-testing
48s
chore: update toolchain nightly-2026-03-15 Build #676: Commit cf0a40d pushed by fgdorais
1m 7s nightly-testing
nightly-testing
1m 7s
chore: update toolchain nightly-2026-03-14 Build #675: Commit 148697d pushed by fgdorais
1m 4s nightly-testing
nightly-testing
1m 4s
chore: update toolchain nightly-2026-03-12 Build #674: Commit 614fae1 pushed by fgdorais
1m 5s nightly-testing
nightly-testing
1m 5s
chore: update toolchain nightly-2026-03-11 Build #673: Commit b10baa7 pushed by fgdorais
1m 10s nightly-testing
nightly-testing
1m 10s
chore: update toolchain nightly-2026-03-10 Build #672: Commit e4b3c73 pushed by fgdorais
1m 2s nightly-testing
nightly-testing
1m 2s
chore: update toolchain nightly-2026-03-09 Build #671: Commit 849343d pushed by fgdorais
50s nightly-testing
nightly-testing
50s
chore: update toolchain nightly-2026-03-09 Build #670: Commit 17c74a1 pushed by fgdorais
1m 12s nightly-testing
nightly-testing
1m 12s
chore: update toolchain nightly-2026-03-07 Build #669: Commit 525e517 pushed by fgdorais
42s nightly-testing
nightly-testing
42s
chore: update toolchain nightly-2026-03-07 Build #668: Commit 3533187 pushed by fgdorais
1m 3s nightly-testing
nightly-testing
1m 3s
chore: bump toolchain to v4.29.0-rc6 Build #667: Commit d7f2437 pushed by fgdorais
1m 4s main
main
1m 4s
chore: bump toolchain to v4.29.0-rc6 Build #666: Pull request #125 opened by kim-em
1m 7s bump_to_v4.29.0-rc6
bump_to_v4.29.0-rc6
1m 7s