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
github_actions in /. - Update #1015130077 Dependabot Updates #258: by dependabot Bot
34s main
main
34s
chore: update toolchain nightly-2025-05-12 Build #251: Commit dc6b36f pushed by fgdorais
52s nightly
nightly
52s
Update nightly-testing Update nightly-testing #76: Scheduled
36s main
main
36s
Update Toolchain Update Toolchain #562: Scheduled
16s main
main
16s
github_actions in /. - Update #1014174088 Dependabot Updates #257: by dependabot Bot
42s main
main
42s
chore: update toolchain nightly-2025-05-12 Build #250: Commit fd31d4b pushed by fgdorais
43s nightly
nightly
43s
Update nightly-testing Update nightly-testing #75: Scheduled
17s main
main
17s
Update Toolchain Update Toolchain #561: Scheduled
18s main
main
18s
chore: update toolchain nightly-2025-05-10 Build #249: Commit d4bca14 pushed by fgdorais
47s nightly
nightly
47s
Update nightly-testing Update nightly-testing #74: Scheduled
18s main
main
18s
Update Toolchain Update Toolchain #560: Scheduled
18s main
main
18s
chore: update toolchain nightly-2025-05-10 Build #248: Commit bdec968 pushed by fgdorais
41s nightly
nightly
41s
Update nightly-testing Update nightly-testing #73: Scheduled
15s main
main
15s
Update Toolchain Update Toolchain #559: Scheduled
11s main
main
11s
github_actions in /. - Update #1013178514 Dependabot Updates #256: by dependabot Bot
33s main
main
33s
chore: update toolchain nightly-2025-05-08 Build #247: Commit 30912ea pushed by fgdorais
40s nightly
nightly
40s
Update nightly-testing Update nightly-testing #72: Scheduled
16s main
main
16s
Update Toolchain Update Toolchain #558: Scheduled
17s main
main
17s
github_actions in /. - Update #1012519888 Dependabot Updates #255: by dependabot Bot
42s main
main
42s
chore: update toolchain nightly-2025-05-08 Build #246: Commit 255304c pushed by fgdorais
57s nightly
nightly
57s
Update nightly-testing Update nightly-testing #71: Scheduled
21s main
main
21s
chore: update toolchain v4.20.0-rc5 Build #245: Commit 45c426d pushed by fgdorais
41s main
main
41s
chore: update toolchain v4.20.0-rc5 Build #244: Pull request #67 synchronize by fgdorais
50s update-toolchain-v4.20.0-rc5
update-toolchain-v4.20.0-rc5
50s
Update Toolchain Update Toolchain #557: Scheduled
19s main
main
19s
github_actions in /. - Update #1011906402 Dependabot Updates #254: by dependabot Bot
33s main
main
33s
ProTip! You can narrow down the results and go further in time using created:<2025-05-07 or the other filters available.