Skip to content

Actions: fgdorais/lean4-unicode-basic

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,824 workflow runs
1,824 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
Update Toolchain Update Toolchain #995: Scheduled
15s main
main
15s
Update Nightly Toolchain Update Nightly Toolchain #65: Scheduled
10s main
main
10s
github_actions in /. - Update #1428493050 Dependabot Updates #554: by dependabot Bot
26s main
main
26s
Update Toolchain Update Toolchain #994: Scheduled
11s main
main
11s
chore: update toolchain nightly-2026-06-21 Build #833: Commit 63e7c07 pushed by fgdorais
1m 14s nightly-testing
nightly-testing
1m 14s
Update Nightly Toolchain Update Nightly Toolchain #64: Scheduled
12s main
main
12s
Update Toolchain Update Toolchain #993: Scheduled
12s main
main
12s
chore: update toolchain nightly-2026-06-20 Build #832: Commit 2a95a63 pushed by fgdorais
55s nightly-testing
nightly-testing
55s
Update Nightly Toolchain Update Nightly Toolchain #63: Scheduled
13s main
main
13s
Update Toolchain Update Toolchain #992: Scheduled
11s main
main
11s
chore: merge main into nightly-testing Build #831: Commit f133824 pushed by fgdorais
41s nightly-testing
nightly-testing
41s
chore: bump actions/checkout from 6 to 7 (#145) Push to Nightly #11: Commit b7fd5c5 pushed by fgdorais
11s main
main
11s
chore: bump actions/checkout from 6 to 7 (#145) Build #830: Commit b7fd5c5 pushed by fgdorais
41s main
main
41s
chore: bump actions/checkout from 6 to 7 Build #829: Pull request #145 opened by dependabot Bot
41s dependabot/github_actions/actions/checkout-7
dependabot/github_actions/actions/checkout-7
41s
github_actions in /. - Update #1422854810 Dependabot Updates #553: by dependabot Bot
49s main
main
49s
Update Nightly Toolchain Update Nightly Toolchain #62: Scheduled
12s main
main
12s
Update Toolchain Update Toolchain #991: Scheduled
14s main
main
14s
github_actions in /. - Update #1421033202 Dependabot Updates #552: by dependabot Bot
25s main
main
25s
chore: update toolchain nightly-2026-06-18 Build #828: Commit 9527e8b pushed by fgdorais
56s nightly-testing
nightly-testing
56s
Update Nightly Toolchain Update Nightly Toolchain #61: Scheduled
19s main
main
19s
Update Toolchain Update Toolchain #990: Scheduled
15s main
main
15s
chore: merge main into nightly-testing Build #827: Commit 2e9a4d1 pushed by fgdorais
59s nightly-testing
nightly-testing
59s
chore: update toolchain v4.32.0-rc1 (#144) Build #826: Commit 3b87338 pushed by Garmelon
1m 2s main
main
1m 2s
chore: update toolchain v4.32.0-rc1 (#144) Push to Nightly #10: Commit 3b87338 pushed by Garmelon
20s main
main
20s
chore: update toolchain v4.32.0-rc1 Build #825: Pull request #144 synchronize by Garmelon
1m 12s update-toolchain-v4.32.0-rc1
update-toolchain-v4.32.0-rc1
1m 12s