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
chore: update toolchain v4.32.0-rc1 Build #824: Pull request #144 opened by fgdorais
44s update-toolchain-v4.32.0-rc1
update-toolchain-v4.32.0-rc1
44s
Update Toolchain Update Toolchain #989: Manually run by Garmelon
22s main
main
22s
chore: update toolchain nightly-2026-06-16 Build #823: Commit 3f66a39 pushed by fgdorais
50s nightly-testing
nightly-testing
50s
Update Nightly Toolchain Update Nightly Toolchain #60: Scheduled
11s main
main
11s
github_actions in /. - Update #1418907826 Dependabot Updates #551: by dependabot Bot
26s main
main
26s
Update Toolchain Update Toolchain #988: Scheduled
13s main
main
13s
chore: update toolchain nightly-2026-06-15 Build #822: Commit 7dec166 pushed by fgdorais
32s nightly-testing
nightly-testing
32s
Update Nightly Toolchain Update Nightly Toolchain #59: Scheduled
11s main
main
11s
github_actions in /. - Update #1416087980 Dependabot Updates #550: by dependabot Bot
27s main
main
27s
pages build and deployment pages-build-deployment #49: by github-pages Bot
54s docs
docs
54s
chore: update toolchain v4.31.0 (#143) Release #29: Commit a2e430a pushed by fgdorais
8m 10s v2.0.1
v2.0.1
8m 10s
Update Toolchain Update Toolchain #987: Scheduled
19s main
main
19s
chore: merge main into nightly-testing Build #821: Commit 2d62477 pushed by fgdorais
42s nightly-testing
nightly-testing
42s
chore: update toolchain v4.31.0 (#143) Build #820: Commit a2e430a pushed by Garmelon
58s main
main
58s
chore: update toolchain v4.31.0 (#143) Push to Nightly #9: Commit a2e430a pushed by Garmelon
13s main
main
13s
chore: update toolchain v4.31.0 Build #819: Pull request #143 opened by fgdorais
1m 3s update-toolchain-v4.31.0
update-toolchain-v4.31.0
1m 3s
Update Toolchain Update Toolchain #986: Manually run by Garmelon
21s main
main
21s
Update Nightly Toolchain Update Nightly Toolchain #58: Scheduled
12s main
main
12s
github_actions in /. - Update #1413352046 Dependabot Updates #549: by dependabot Bot
29s main
main
29s
Update Toolchain Update Toolchain #985: Scheduled
12s main
main
12s
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