Skip to content

Actions: fgdorais/lean4-unicode-basic

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,873 workflow runs
1,873 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-2026-09-26 Build #995: Commit 5e8b72c pushed by fgdorais
41s nightly-testing
nightly-testing
41s
Update Nightly Toolchain Update Nightly Toolchain #162: Scheduled
9s main
main
9s
Update Toolchain Update Toolchain #1101: Scheduled
11s main
main
11s
chore: update toolchain nightly-2026-09-25 Build #994: Commit a3ac974 pushed by fgdorais
1m 0s nightly-testing
nightly-testing
1m 0s
Update Nightly Toolchain Update Nightly Toolchain #161: Scheduled
12s main
main
12s
github_actions in /. - Update #1591691755 Dependabot Updates #623: by dependabot Bot
41s main
main
41s
Update Toolchain Update Toolchain #1100: Scheduled
11s main
main
11s
chore: merge main into nightly-testing Build #993: Commit b895bcc pushed by fgdorais
40s nightly-testing
nightly-testing
40s
chore: update toolchain v4.35.0-rc3 (#167) Push to Nightly #27: Commit a0470ae pushed by Garmelon
12s main
main
12s
chore: update toolchain v4.35.0-rc3 (#167) Build #992: Commit a0470ae pushed by Garmelon
52s main
main
52s
chore: update toolchain v4.35.0-rc3 Build #991: Pull request #167 opened by fgdorais
43s update-toolchain-v4.35.0-rc3
update-toolchain-v4.35.0-rc3
43s
Update Toolchain Update Toolchain #1099: Manually run by Garmelon
15s main
main
15s
chore: update toolchain nightly-2026-09-24 Build #990: Commit 91d61cc pushed by fgdorais
50s nightly-testing
nightly-testing
50s
Update Nightly Toolchain Update Nightly Toolchain #160: Scheduled
11s main
main
11s
github_actions in /. - Update #1590053684 Dependabot Updates #622: by dependabot Bot
47s main
main
47s
Update Toolchain Update Toolchain #1098: Scheduled
16s main
main
16s
Update Nightly Toolchain Update Nightly Toolchain #159: Scheduled
9s main
main
9s
github_actions in /. - Update #1588639735 Dependabot Updates #621: by dependabot Bot
41s main
main
41s
Update Toolchain Update Toolchain #1097: Scheduled
10s main
main
10s
chore: update toolchain nightly-2026-09-22 Build #989: Commit 7d837a8 pushed by fgdorais
48s nightly-testing
nightly-testing
48s
Update Nightly Toolchain Update Nightly Toolchain #158: Scheduled
11s main
main
11s
github_actions in /. - Update #1587228507 Dependabot Updates #620: by dependabot Bot
42s main
main
42s
Update Toolchain Update Toolchain #1096: Scheduled
11s main
main
11s
chore: update toolchain nightly-2026-09-21 Build #988: Commit 3348b4a pushed by fgdorais
44s nightly-testing
nightly-testing
44s
Update Nightly Toolchain Update Nightly Toolchain #157: Scheduled
13s main
main
13s