Skip to content

Actions: fgdorais/lean4-unicode-basic

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,830 workflow runs
1,830 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 #90: Scheduled
8s main
main
8s
github_actions in /. - Update #1463286764 Dependabot Updates #572: by dependabot Bot
32s main
main
32s
Update Toolchain Update Toolchain #1021: Scheduled
19s main
main
19s
chore: merge main into nightly-testing Build #885: Commit 11be05e pushed by fgdorais
49s nightly-testing
nightly-testing
49s
chore: update toolchain v4.33.0-rc1 (#150) Build #884: Commit e121ce8 pushed by Garmelon
59s main
main
59s
chore: update toolchain v4.33.0-rc1 (#150) Push to Nightly #14: Commit e121ce8 pushed by Garmelon
18s main
main
18s
chore: update toolchain v4.33.0-rc1 Build #883: Pull request #150 opened by fgdorais
1m 3s update-toolchain-v4.33.0-rc1
update-toolchain-v4.33.0-rc1
1m 3s
Update Toolchain Update Toolchain #1020: Manually run by Garmelon
23s main
main
23s
chore: update toolchain nightly-2026-07-15 Build #882: Commit ba683b6 pushed by fgdorais
55s nightly-testing
nightly-testing
55s
Update Nightly Toolchain Update Nightly Toolchain #89: Scheduled
11s main
main
11s
github_actions in /. - Update #1461745264 Dependabot Updates #571: by dependabot Bot
28s main
main
28s
Update Toolchain Update Toolchain #1019: Scheduled
16s main
main
16s
github_actions in /. - Update #1460211602 Dependabot Updates #570: by dependabot Bot
32s main
main
32s
Update Nightly Toolchain Update Nightly Toolchain #88: Scheduled
10s main
main
10s
Update Toolchain Update Toolchain #1018: Scheduled
17s main
main
17s
chore: merge main into nightly-testing Build #881: Commit 1917740 pushed by fgdorais
2m 5s nightly-testing
nightly-testing
2m 5s
chore: update toolchain v4.32.0 (#149) Push to Nightly #13: Commit 947120c pushed by Garmelon
20s main
main
20s
chore: update toolchain v4.32.0 (#149) Build #880: Commit 947120c pushed by Garmelon
2m 48s main
main
2m 48s
chore: update toolchain v4.32.0 Build #879: Pull request #149 opened by fgdorais
1m 8s update-toolchain-v4.32.0
update-toolchain-v4.32.0
1m 8s
Update Toolchain Update Toolchain #1017: Manually run by Garmelon
22s main
main
22s
github_actions in /. - Update #1458387011 Dependabot Updates #569: by dependabot Bot
32s main
main
32s
chore: update toolchain nightly-2026-07-12 Build #878: Commit 6472888 pushed by fgdorais
58s nightly-testing
nightly-testing
58s
Update Nightly Toolchain Update Nightly Toolchain #87: Scheduled
9s main
main
9s
Update Toolchain Update Toolchain #1016: Scheduled
16s main
main
16s
Update Nightly Toolchain Update Nightly Toolchain #86: Scheduled
11s main
main
11s