Skip to content

Actions: fgdorais/lean4-unicode-basic

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,831 workflow runs
1,831 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-06-16 Build #290: Commit ad39d03 pushed by fgdorais
49s nightly
nightly
49s
Update nightly-testing Update nightly-testing #111: Scheduled
14s main
main
14s
Update Toolchain Update Toolchain #598: Scheduled
11s main
main
11s
github_actions in /. - Update #1034813739 Dependabot Updates #282: by dependabot Bot
33s main
main
33s
chore: update toolchain nightly-2025-06-15 Build #289: Commit 91297c8 pushed by fgdorais
48s nightly
nightly
48s
Update nightly-testing Update nightly-testing #110: Scheduled
11s main
main
11s
Update Toolchain Update Toolchain #597: Scheduled
11s main
main
11s
chore: update toolchain nightly-2025-06-14 Build #288: Commit 29c51f3 pushed by fgdorais
36s nightly
nightly
36s
Update nightly-testing Update nightly-testing #109: Scheduled
13s main
main
13s
Update Toolchain Update Toolchain #596: Scheduled
9s main
main
9s
chore: update toolchain nightly-2025-06-14 Build #287: Commit e850687 pushed by fgdorais
39s nightly
nightly
39s
Update nightly-testing Update nightly-testing #108: Scheduled
11s main
main
11s
Update Toolchain Update Toolchain #595: Scheduled
12s main
main
12s
github_actions in /. - Update #1033712213 Dependabot Updates #281: by dependabot Bot
32s main
main
32s
chore: update toolchain nightly-2025-06-12 Build #286: Commit ee1a168 pushed by fgdorais
39s nightly
nightly
39s
Update nightly-testing Update nightly-testing #107: Scheduled
18s main
main
18s
Update Toolchain Update Toolchain #594: Scheduled
12s main
main
12s
github_actions in /. - Update #1033010814 Dependabot Updates #280: by dependabot Bot
36s main
main
36s
chore: update toolchain nightly-2025-06-11 Build #285: Commit 396fda6 pushed by fgdorais
35s nightly
nightly
35s
Update nightly-testing Update nightly-testing #106: Scheduled
13s main
main
13s
Update Toolchain Update Toolchain #593: Scheduled
9s main
main
9s
github_actions in /. - Update #1032224208 Dependabot Updates #279: by dependabot Bot
30s main
main
30s
chore: update toolchain nightly-2025-06-11 Build #284: Commit 9aa9c4b pushed by fgdorais
43s nightly
nightly
43s
Update nightly-testing Update nightly-testing #105: Scheduled
12s main
main
12s
Update Toolchain Update Toolchain #592: Scheduled
13s main
main
13s
ProTip! You can narrow down the results and go further in time using created:<2025-06-11 or the other filters available.