Skip to content

Actions: fgdorais/lean4-unicode-basic

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,791 workflow runs
1,791 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 Nightly Toolchain Update Nightly Toolchain #57: Scheduled
14s main
main
14s
Update Toolchain Update Toolchain #984: Scheduled
10s main
main
10s
Update Nightly Toolchain Update Nightly Toolchain #56: Scheduled
13s main
main
13s
Update Toolchain Update Toolchain #983: Scheduled
16s main
main
16s
github_actions in /. - Update #1409843782 Dependabot Updates #548: by dependabot Bot
28s main
main
28s
Update Nightly Toolchain Update Nightly Toolchain #55: Scheduled
12s main
main
12s
Update Toolchain Update Toolchain #982: Scheduled
14s main
main
14s
chore: update toolchain nightly-2026-06-10 Build #818: Commit c9cd3c3 pushed by fgdorais
39s nightly-testing
nightly-testing
39s
github_actions in /. - Update #1408114778 Dependabot Updates #547: by dependabot Bot
35s main
main
35s
Update Nightly Toolchain Update Nightly Toolchain #54: Scheduled
10s main
main
10s
Update Toolchain Update Toolchain #981: Scheduled
14s main
main
14s
github_actions in /. - Update #1406473099 Dependabot Updates #546: by dependabot Bot
33s main
main
33s
chore: update toolchain nightly-2026-06-09 Build #817: Commit 2336c6e pushed by fgdorais
33s nightly-testing
nightly-testing
33s
Update Nightly Toolchain Update Nightly Toolchain #53: Scheduled
14s main
main
14s
Update Toolchain Update Toolchain #980: Scheduled
14s main
main
14s
github_actions in /. - Update #1404735624 Dependabot Updates #545: by dependabot Bot
34s main
main
34s
chore: update toolchain nightly-2026-06-08 Build #816: Commit 1f4b876 pushed by fgdorais
33s nightly-testing
nightly-testing
33s
Update Nightly Toolchain Update Nightly Toolchain #52: Scheduled
11s main
main
11s
Update Toolchain Update Toolchain #979: Scheduled
14s main
main
14s
chore: merge main into nightly-testing Build #815: Commit 42c9c01 pushed by fgdorais
34s nightly-testing
nightly-testing
34s
chore: update toolchain v4.31.0-rc2 (#142) Push to Nightly #8: Commit cec0a48 pushed by Garmelon
11s main
main
11s
chore: update toolchain v4.31.0-rc2 (#142) Build #814: Commit cec0a48 pushed by Garmelon
1m 6s main
main
1m 6s
chore: update toolchain v4.31.0-rc2 Build #813: Pull request #142 opened by fgdorais
1m 0s update-toolchain-v4.31.0-rc2
update-toolchain-v4.31.0-rc2
1m 0s
Update Toolchain Update Toolchain #978: Manually run by Garmelon
23s main
main
23s
chore: update toolchain nightly-2026-06-07 Build #812: Commit fba07d1 pushed by fgdorais
42s nightly-testing
nightly-testing
42s