Skip to content

Actions: fgdorais/lean4-unicode-basic

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,824 workflow runs
1,824 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 Toolchain Update Toolchain #976: Scheduled
15s main
main
15s
chore: update toolchain nightly-2026-06-05 Build #810: Commit f0f1c9d pushed by fgdorais
31s nightly-testing
nightly-testing
31s
Update Nightly Toolchain Update Nightly Toolchain #49: Scheduled
9s main
main
9s
Update Toolchain Update Toolchain #975: Scheduled
14s main
main
14s
github_actions in /. - Update #1399443475 Dependabot Updates #543: by dependabot Bot
33s main
main
33s
chore: update toolchain nightly-2026-06-04 Build #809: Commit 7e1233b pushed by fgdorais
32s nightly-testing
nightly-testing
32s
Update Nightly Toolchain Update Nightly Toolchain #48: Scheduled
10s main
main
10s
Update Toolchain Update Toolchain #974: Scheduled
15s main
main
15s
github_actions in /. - Update #1397479982 Dependabot Updates #542: by dependabot Bot
40s main
main
40s
chore: update toolchain nightly-2026-06-03 Build #808: Commit 356a07c pushed by fgdorais
33s nightly-testing
nightly-testing
33s
Update Nightly Toolchain Update Nightly Toolchain #47: Scheduled
14s main
main
14s
Update Toolchain Update Toolchain #973: Scheduled
16s main
main
16s
github_actions in /. - Update #1396075790 Dependabot Updates #541: by dependabot Bot
27s main
main
27s
chore: update toolchain nightly-2026-06-02 Build #807: Commit 987b4ee pushed by fgdorais
36s nightly-testing
nightly-testing
36s
Update Nightly Toolchain Update Nightly Toolchain #46: Scheduled
9s main
main
9s
Update Toolchain Update Toolchain #972: Scheduled
11s main
main
11s
chore: update toolchain nightly-2026-06-01 Build #806: Commit 0f6f8ac pushed by fgdorais
34s nightly-testing
nightly-testing
34s
Update Nightly Toolchain Update Nightly Toolchain #45: Scheduled
10s main
main
10s
github_actions in /. - Update #1393646132 Dependabot Updates #540: by dependabot Bot
34s main
main
34s
Update Toolchain Update Toolchain #971: Scheduled
16s main
main
16s
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