Skip to content

Actions: fgdorais/lean4-unicode-basic

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,829 workflow runs
1,829 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
chore: update toolchain nightly-2026-05-31 Build #805: Commit 1832335 pushed by fgdorais
57s nightly-testing
nightly-testing
57s
Update Nightly Toolchain Update Nightly Toolchain #44: Scheduled
12s main
main
12s
Update Toolchain Update Toolchain #970: Scheduled
16s main
main
16s
chore: update toolchain nightly-2026-05-30 Build #804: Commit ad7c313 pushed by fgdorais
1m 5s nightly-testing
nightly-testing
1m 5s
Update Nightly Toolchain Update Nightly Toolchain #43: Scheduled
10s main
main
10s
Update Toolchain Update Toolchain #969: Scheduled
13s main
main
13s
chore: update toolchain nightly-2026-05-29 Build #803: Commit 4b07ba2 pushed by fgdorais
1m 0s nightly-testing
nightly-testing
1m 0s
Update Nightly Toolchain Update Nightly Toolchain #42: Scheduled
9s main
main
9s
Update Toolchain Update Toolchain #968: Scheduled
11s main
main
11s
github_actions in /. - Update #1389817661 Dependabot Updates #539: by dependabot Bot
40s main
main
40s
Update Nightly Toolchain Update Nightly Toolchain #41: Scheduled
9s main
main
9s
Update Toolchain Update Toolchain #967: Scheduled
11s main
main
11s
chore: merge main into nightly-testing Build #802: Commit 22536ab pushed by fgdorais
59s nightly-testing
nightly-testing
59s
chore: update toolchain v4.31.0-rc1 (#141) Build #801: Commit d878030 pushed by Garmelon
59s main
main
59s
chore: update toolchain v4.31.0-rc1 (#141) Push to Nightly #7: Commit d878030 pushed by Garmelon
15s main
main
15s
chore: update toolchain v4.31.0-rc1 Build #800: Pull request #141 opened by fgdorais
1m 3s update-toolchain-v4.31.0-rc1
update-toolchain-v4.31.0-rc1
1m 3s
Update Toolchain Update Toolchain #966: Manually run by Garmelon
24s main
main
24s
github_actions in /. - Update #1388101141 Dependabot Updates #538: by dependabot Bot
39s main
main
39s
chore: update toolchain nightly-2026-05-28 Build #799: Commit 2a8c182 pushed by fgdorais
1m 7s nightly-testing
nightly-testing
1m 7s
Update Nightly Toolchain Update Nightly Toolchain #40: Scheduled
12s main
main
12s
Update Toolchain Update Toolchain #965: Scheduled
10s main
main
10s
github_actions in /. - Update #1386331974 Dependabot Updates #537: by dependabot Bot
40s main
main
40s
Update Nightly Toolchain Update Nightly Toolchain #39: Scheduled
10s main
main
10s
Update Toolchain Update Toolchain #964: Scheduled
12s main
main
12s
github_actions in /. - Update #1385107412 Dependabot Updates #536: by dependabot Bot
31s main
main
31s
ProTip! You can narrow down the results and go further in time using created:<2026-05-26 or the other filters available.