Skip to content

Actions: fgdorais/lean4-unicode-basic

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,787 workflow runs
1,787 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-2025-05-06 Build #243: Commit 3adf8ea pushed by fgdorais
40s nightly
nightly
40s
Update nightly-testing Update nightly-testing #70: Scheduled
17s main
main
17s
Update Toolchain Update Toolchain #556: Scheduled
16s main
main
16s
chore: update toolchain v4.20.0-rc4 Build #242: Commit 2609fe3 pushed by fgdorais
50s main
main
50s
github_actions in /. - Update #1011320538 Dependabot Updates #253: by dependabot Bot
38s main
main
38s
chore: update toolchain nightly-2025-05-06 Build #241: Commit 72df36f pushed by fgdorais
43s nightly
nightly
43s
Update nightly-testing Update nightly-testing #69: Scheduled
16s main
main
16s
Update Toolchain Update Toolchain #555: Scheduled
14s main
main
14s
chore: update toolchain v4.20.0-rc3 Build #240: Commit 49b587f pushed by fgdorais
42s main
main
42s
github_actions in /. - Update #1010334496 Dependabot Updates #252: by dependabot Bot
34s main
main
34s
chore: update toolchain nightly-2025-05-04 Build #239: Commit 49a42b1 pushed by fgdorais
46s nightly
nightly
46s
Update nightly-testing Update nightly-testing #68: Scheduled
14s main
main
14s
Update Toolchain Update Toolchain #554: Scheduled
14s main
main
14s
chore: update toolchain nightly-2025-05-04 Build #238: Commit b304314 pushed by fgdorais
54s nightly
nightly
54s
Update nightly-testing Update nightly-testing #67: Scheduled
15s main
main
15s
Update Toolchain Update Toolchain #553: Scheduled
14s main
main
14s
chore: update toolchain nightly-2025-05-02 Build #237: Commit 4245254 pushed by fgdorais
47s nightly
nightly
47s
Update nightly-testing Update nightly-testing #66: Scheduled
16s main
main
16s
Update Toolchain Update Toolchain #552: Scheduled
12s main
main
12s
chore: update toolchain v4.20.0-rc2 Build #236: Commit aa048ce pushed by fgdorais
43s main
main
43s
chore: update toolchain v4.20.0-rc1 Build #235: Commit 871bb7c pushed by fgdorais
44s main
main
44s
github_actions in /. - Update #1009355722 Dependabot Updates #251: by dependabot Bot
36s main
main
36s
chore: update toolchain nightly-2025-05-02 Build #234: Commit 371d0c0 pushed by fgdorais
56s nightly
nightly
56s
Update nightly-testing Update nightly-testing #65: Scheduled
21s main
main
21s
Update Toolchain Update Toolchain #551: Scheduled
14s main
main
14s
ProTip! You can narrow down the results and go further in time using created:<2025-05-02 or the other filters available.