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
chore: update toolchain nightly-2025-06-27 Build #299: Commit 37f4d02 pushed by fgdorais
59s nightly
nightly
59s
Update nightly-testing Update nightly-testing #121: Scheduled
10s main
main
10s
Update Toolchain Update Toolchain #608: Scheduled
10s main
main
10s
github_actions in /. - Update #1041617186 Dependabot Updates #291: by dependabot Bot
31s main
main
31s
chore: update toolchain nightly-2025-06-26 Build #298: Commit 4c1a817 pushed by fgdorais
58s nightly
nightly
58s
Update nightly-testing Update nightly-testing #120: Scheduled
11s main
main
11s
Update Toolchain Update Toolchain #607: Scheduled
9s main
main
9s
github_actions in /. - Update #1040978109 Dependabot Updates #290: by dependabot Bot
1m 2s main
main
1m 2s
chore: update toolchain nightly-2025-06-25 Build #297: Commit dc5f333 pushed by fgdorais
56s nightly
nightly
56s
Update nightly-testing Update nightly-testing #119: Scheduled
11s main
main
11s
Update Toolchain Update Toolchain #606: Scheduled
13s main
main
13s
github_actions in /. - Update #1040290035 Dependabot Updates #289: by dependabot Bot
30s main
main
30s
Update nightly-testing Update nightly-testing #118: Scheduled
11s main
main
11s
Update Toolchain Update Toolchain #605: Scheduled
11s main
main
11s
github_actions in /. - Update #1038988406 Dependabot Updates #288: by dependabot Bot
35s main
main
35s
chore: update toolchain nightly-2025-06-22 Build #296: Commit d799bec pushed by fgdorais
1m 4s nightly
nightly
1m 4s
Update nightly-testing Update nightly-testing #117: Scheduled
16s main
main
16s
Update Toolchain Update Toolchain #604: Scheduled
13s main
main
13s
chore: update toolchain nightly-2025-06-22 Build #295: Commit 8a9e3a9 pushed by fgdorais
54s nightly
nightly
54s
Update nightly-testing Update nightly-testing #116: Scheduled
14s main
main
14s
Update Toolchain Update Toolchain #603: Scheduled
11s main
main
11s
chore: update toolchain nightly-2025-06-20 Build #294: Commit 15e5d1f pushed by fgdorais
40s nightly
nightly
40s
Update nightly-testing Update nightly-testing #115: Scheduled
12s main
main
12s
Update Toolchain Update Toolchain #602: Scheduled
9s main
main
9s
github_actions in /. - Update #1037949029 Dependabot Updates #287: by dependabot Bot
33s main
main
33s
ProTip! You can narrow down the results and go further in time using created:<2025-06-20 or the other filters available.