Skip to content

Actions: fgdorais/lean4-unicode-basic

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,796 workflow runs
1,796 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
github_actions in /. - Update #1330129811 Dependabot Updates #510: by dependabot bot
32s main
main
32s
Update Nightly Toolchain Update Nightly Toolchain #1: Scheduled
9s main
main
9s
Update Toolchain Update Toolchain #926: Scheduled
15s main
main
15s
chore: merge main into nightly-testing Build #755: Commit 8679cf1 pushed by fgdorais
46s nightly-testing
nightly-testing
46s
fix: typo Push to Nightly #2: Commit 4418457 pushed by fgdorais
10s main
main
10s
fix: typo Build #754: Commit 4418457 pushed by fgdorais
41s main
main
41s
fix: update nightly workflows Push to Nightly #1: Commit 6b70392 pushed by fgdorais
11s main
main
11s
fix: update nightly workflows Build #753: Commit 6b70392 pushed by fgdorais
44s main
main
44s
chore: update toolchain nightly-2026-04-17 Build #752: Commit 767672f pushed by fgdorais
54s nightly-testing
nightly-testing
54s
Update Nightly Testing Update Nightly Testing #130: Scheduled
15s main
main
15s
Update Toolchain Update Toolchain #925: Scheduled
11s main
main
11s
fix: update toolchain workflow (#140) Build #751: Commit b5c77dc pushed by fgdorais
40s main
main
40s
fix: update toolchain workflow Build #750: Pull request #140 opened by fgdorais
42s fix-update-toolchain
fix-update-toolchain
42s
chore: update toolchain nightly-2026-04-17 Build #749: Commit 4d102b8 pushed by fgdorais
43s nightly-testing
nightly-testing
43s
Update Nightly Testing Update Nightly Testing #129: Scheduled
15s main
main
15s
pages build and deployment pages-build-deployment #47: by github-pages bot
52s docs
docs
52s
Publish Docs Publish Docs #4: Manually run by fgdorais
8m 38s main
main
8m 38s
Update Toolchain Update Toolchain #924: Scheduled
14s main
main
14s
fix: update toolchain v4.30.0-rc2 (#139) Build #748: Commit 05954ce pushed by fgdorais
1m 17s main
main
1m 17s
fix: update toolchain v4.30.0-rc2 Build #747: Pull request #139 synchronize by fgdorais
1m 2s revert-138-update-toolchain-v4.30.0-rc2
revert-138-update-toolchain-v4.30.0-rc2
1m 2s
fix: update toolchain v4.30.0-rc2 Build #746: Pull request #139 opened by fgdorais
47s revert-138-update-toolchain-v4.30.0-rc2
revert-138-update-toolchain-v4.30.0-rc2
47s
chore: update toolchain v4.30.0-rc2 (#138) Build #745: Commit a816554 pushed by Garmelon
58s main
main
58s
chore: update toolchain v4.30.0-rc2 Build #744: Pull request #138 opened by fgdorais
1m 7s update-toolchain-v4.30.0-rc2
update-toolchain-v4.30.0-rc2
1m 7s
Update Toolchain Update Toolchain #923: Manually run by fgdorais
15s main
main
15s
github_actions in /. - Update #1327844710 Dependabot Updates #509: by dependabot bot
34s main
main
34s