Skip to content

Actions: fgdorais/lean4-unicode-basic

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Workflow

⌥ + click/return to exclude

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
Update Nightly Toolchain Update Nightly Toolchain #36: Scheduled
9s main
main
9s
Update Toolchain Update Toolchain #961: Scheduled
15s main
main
15s
chore: update toolchain nightly-2026-05-22 Build #795: Commit cd8c4da pushed by fgdorais
55s nightly-testing
nightly-testing
55s
Update Nightly Toolchain Update Nightly Toolchain #35: Scheduled
8s main
main
8s
Update Toolchain Update Toolchain #960: Scheduled
17s main
main
17s
github_actions in /. - Update #1379793843 Dependabot Updates #534: by dependabot Bot
38s main
main
38s
Update Nightly Toolchain Update Nightly Toolchain #34: Scheduled
9s main
main
9s
Update Toolchain Update Toolchain #959: Scheduled
13s main
main
13s
chore: merge main into nightly-testing Build #794: Commit a0e728c pushed by fgdorais
1m 1s nightly-testing
nightly-testing
1m 1s
chore: cleanup for v2 (#99) Build #793: Commit 665e51f pushed by fgdorais
57s main
main
57s
chore: cleanup for v2 (#99) Push to Nightly #5: Commit 665e51f pushed by fgdorais
15s main
main
15s
chore: cleanup for v2 Build #792: Pull request #99 synchronize by fgdorais
55s cleanup
cleanup
55s
chore: cleanup for v2 Build #791: Pull request #99 synchronize by fgdorais
49s cleanup
cleanup
49s
chore: cleanup for v2 Build #790: Pull request #99 synchronize by fgdorais
45s cleanup
cleanup
45s
chore: cleanup for v2 Build #789: Pull request #99 synchronize by fgdorais
44s cleanup
cleanup
44s
github_actions in /. - Update #1377938705 Dependabot Updates #533: by dependabot Bot
32s main
main
32s
chore: cleanup for v2 Build #788: Pull request #99 synchronize by fgdorais
59s cleanup
cleanup
59s
chore: cleanup for v2 Build #787: Pull request #99 synchronize by fgdorais
39s cleanup
cleanup
39s
chore: update toolchain nightly-2026-05-21 Build #786: Commit d81ccf9 pushed by fgdorais
1m 1s nightly-testing
nightly-testing
1m 1s
Update Nightly Toolchain Update Nightly Toolchain #33: Scheduled
22s main
main
22s
chore: cleanup for v2 Build #785: Pull request #99 synchronize by fgdorais
37s cleanup
cleanup
37s
chore: cleanup for v2 Build #784: Pull request #99 synchronize by fgdorais
39s cleanup
cleanup
39s
Update Toolchain Update Toolchain #958: Scheduled
16s main
main
16s
github_actions in /. - Update #1376756686 Dependabot Updates #532: by dependabot Bot
35s main
main
35s
Update Nightly Toolchain Update Nightly Toolchain #32: Scheduled
11s main
main
11s