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 #969: Scheduled
13s main
main
13s
chore: update toolchain nightly-2026-05-29 Build #803: Commit 4b07ba2 pushed by fgdorais
1m 0s nightly-testing
nightly-testing
1m 0s
Update Nightly Toolchain Update Nightly Toolchain #42: Scheduled
9s main
main
9s
Update Toolchain Update Toolchain #968: Scheduled
11s main
main
11s
github_actions in /. - Update #1389817661 Dependabot Updates #539: by dependabot Bot
40s main
main
40s
Update Nightly Toolchain Update Nightly Toolchain #41: Scheduled
9s main
main
9s
Update Toolchain Update Toolchain #967: Scheduled
11s main
main
11s
chore: merge main into nightly-testing Build #802: Commit 22536ab pushed by fgdorais
59s nightly-testing
nightly-testing
59s
chore: update toolchain v4.31.0-rc1 (#141) Build #801: Commit d878030 pushed by Garmelon
59s main
main
59s
chore: update toolchain v4.31.0-rc1 (#141) Push to Nightly #7: Commit d878030 pushed by Garmelon
15s main
main
15s
chore: update toolchain v4.31.0-rc1 Build #800: Pull request #141 opened by fgdorais
1m 3s update-toolchain-v4.31.0-rc1
update-toolchain-v4.31.0-rc1
1m 3s
Update Toolchain Update Toolchain #966: Manually run by Garmelon
24s main
main
24s
github_actions in /. - Update #1388101141 Dependabot Updates #538: by dependabot Bot
39s main
main
39s
chore: update toolchain nightly-2026-05-28 Build #799: Commit 2a8c182 pushed by fgdorais
1m 7s nightly-testing
nightly-testing
1m 7s
Update Nightly Toolchain Update Nightly Toolchain #40: Scheduled
12s main
main
12s
Update Toolchain Update Toolchain #965: Scheduled
10s main
main
10s
github_actions in /. - Update #1386331974 Dependabot Updates #537: by dependabot Bot
40s main
main
40s
Update Nightly Toolchain Update Nightly Toolchain #39: Scheduled
10s main
main
10s
Update Toolchain Update Toolchain #964: Scheduled
12s main
main
12s
github_actions in /. - Update #1385107412 Dependabot Updates #536: by dependabot Bot
31s main
main
31s
pages build and deployment pages-build-deployment #48: by github-pages Bot
1m 2s docs
docs
1m 2s
chore: update toolchain v4.30.0 Release #28: Commit f8c99ff pushed by fgdorais
9m 0s v2.0.0
v2.0.0
9m 0s
chore: merge main into nightly-testing Build #798: Commit e8021fe pushed by fgdorais
46s nightly-testing
nightly-testing
46s
chore: update toolchain v4.30.0 Build #797: Commit f8c99ff pushed by fgdorais
1m 0s main
main
1m 0s
chore: update toolchain v4.30.0 Push to Nightly #6: Commit f8c99ff pushed by fgdorais
17s main
main
17s