Skip to content

Actions: fgdorais/lean4-unicode-basic

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,858 workflow runs
1,858 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 #1532437102 Dependabot Updates #596: by dependabot Bot
57s main
main
57s
chore: update toolchain nightly-2026-08-19 Build #951: Commit 8bfe52c pushed by fgdorais
1m 4s nightly-testing
nightly-testing
1m 4s
Update Nightly Toolchain Update Nightly Toolchain #124: Scheduled
12s main
main
12s
Update Toolchain Update Toolchain #1058: Scheduled
13s main
main
13s
github_actions in /. - Update #1530771138 Dependabot Updates #595: by dependabot Bot
44s main
main
44s
chore: update toolchain nightly-2026-08-18 Build #950: Commit fcc38dc pushed by fgdorais
41s nightly-testing
nightly-testing
41s
Update Nightly Toolchain Update Nightly Toolchain #123: Scheduled
12s main
main
12s
Update Toolchain Update Toolchain #1057: Scheduled
16s main
main
16s
github_actions in /. - Update #1528766696 Dependabot Updates #594: by dependabot Bot
45s main
main
45s
chore: update toolchain nightly-2026-08-17 Build #949: Commit d765233 pushed by fgdorais
1m 1s nightly-testing
nightly-testing
1m 1s
Update Nightly Toolchain Update Nightly Toolchain #122: Scheduled
13s main
main
13s
Update Toolchain Update Toolchain #1056: Scheduled
13s main
main
13s
chore: update toolchain nightly-2026-08-16 Build #948: Commit bd00538 pushed by fgdorais
48s nightly-testing
nightly-testing
48s
Update Nightly Toolchain Update Nightly Toolchain #121: Scheduled
13s main
main
13s
Update Toolchain Update Toolchain #1055: Scheduled
15s main
main
15s
Update Nightly Toolchain Update Nightly Toolchain #120: Scheduled
12s main
main
12s
Update Toolchain Update Toolchain #1054: Scheduled
17s main
main
17s
github_actions in /. - Update #1525372045 Dependabot Updates #593: by dependabot Bot
42s main
main
42s
chore: update toolchain nightly-2026-08-14 Build #947: Commit 5027930 pushed by fgdorais
54s nightly-testing
nightly-testing
54s
Update Nightly Toolchain Update Nightly Toolchain #119: Scheduled
11s main
main
11s
Update Toolchain Update Toolchain #1053: Scheduled
14s main
main
14s
github_actions in /. - Update #1523815386 Dependabot Updates #592: by dependabot Bot
42s main
main
42s
chore: update toolchain nightly-2026-08-13 Build #946: Commit 38c9767 pushed by fgdorais
44s nightly-testing
nightly-testing
44s
Update Nightly Toolchain Update Nightly Toolchain #118: Scheduled
10s main
main
10s
Update Toolchain Update Toolchain #1052: Scheduled
12s main
main
12s