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-20 Build #258: Commit a8944e0 pushed by fgdorais
57s nightly
nightly
57s
Update nightly-testing Update nightly-testing #83: Scheduled
17s main
main
17s
Update Toolchain Update Toolchain #569: Scheduled
15s main
main
15s
github_actions in /. - Update #1018019187 Dependabot Updates #262: by dependabot Bot
40s main
main
40s
chore: update toolchain nightly-2025-05-17 Build #257: Commit 29de2af pushed by fgdorais
39s nightly
nightly
39s
Update nightly-testing Update nightly-testing #82: Scheduled
22s main
main
22s
Update Toolchain Update Toolchain #568: Scheduled
16s main
main
16s
chore: update toolchain nightly-2025-05-17 Build #256: Commit 9816ee6 pushed by fgdorais
41s nightly
nightly
41s
Update nightly-testing Update nightly-testing #81: Scheduled
18s main
main
18s
Update Toolchain Update Toolchain #567: Scheduled
11s main
main
11s
chore: update toolchain nightly-2025-05-16 Build #255: Commit 982435d pushed by fgdorais
47s nightly
nightly
47s
Update nightly-testing Update nightly-testing #80: Scheduled
17s main
main
17s
Update Toolchain Update Toolchain #566: Scheduled
13s main
main
13s
github_actions in /. - Update #1017034646 Dependabot Updates #261: by dependabot Bot
34s main
main
34s
chore: update toolchain nightly-2025-05-16 Build #254: Commit 2c76830 pushed by fgdorais
45s nightly
nightly
45s
Update nightly-testing Update nightly-testing #79: Scheduled
21s main
main
21s
Update Toolchain Update Toolchain #565: Scheduled
15s main
main
15s
github_actions in /. - Update #1016323759 Dependabot Updates #260: by dependabot Bot
33s main
main
33s
chore: update toolchain nightly-2025-05-14 Build #253: Commit f0caea4 pushed by fgdorais
39s nightly
nightly
39s
Update nightly-testing Update nightly-testing #78: Scheduled
21s main
main
21s
Update Toolchain Update Toolchain #564: Scheduled
13s main
main
13s
github_actions in /. - Update #1015746705 Dependabot Updates #259: by dependabot Bot
34s main
main
34s
chore: update toolchain nightly-2025-05-14 Build #252: Commit 02117fa pushed by fgdorais
42s nightly
nightly
42s
Update nightly-testing Update nightly-testing #77: Scheduled
17s main
main
17s
Update Toolchain Update Toolchain #563: Scheduled
13s main
main
13s
ProTip! You can narrow down the results and go further in time using created:<2025-05-14 or the other filters available.