Skip to content

Actions: fgdorais/lean4-unicode-basic

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,827 workflow runs
1,827 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 #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
Update Nightly Toolchain Update Nightly Toolchain #38: Scheduled
10s main
main
10s
Update Toolchain Update Toolchain #963: Scheduled
13s main
main
13s
github_actions in /. - Update #1383396638 Dependabot Updates #535: by dependabot Bot
38s main
main
38s
chore: update toolchain nightly-2026-05-25 Build #796: Commit 76736bb pushed by fgdorais
1m 7s nightly-testing
nightly-testing
1m 7s
Update Nightly Toolchain Update Nightly Toolchain #37: Scheduled
10s main
main
10s
Update Toolchain Update Toolchain #962: Scheduled
13s main
main
13s
Update Nightly Toolchain Update Nightly Toolchain #36: Scheduled
9s main
main
9s
Update Toolchain Update Toolchain #961: Scheduled
15s main
main
15s
chore: update toolchain nightly-2026-05-22 Build #795: Commit cd8c4da pushed by fgdorais
55s nightly-testing
nightly-testing
55s
Update Nightly Toolchain Update Nightly Toolchain #35: Scheduled
8s main
main
8s
Update Toolchain Update Toolchain #960: Scheduled
17s main
main
17s
github_actions in /. - Update #1379793843 Dependabot Updates #534: by dependabot Bot
38s main
main
38s
Update Nightly Toolchain Update Nightly Toolchain #34: Scheduled
9s main
main
9s
Update Toolchain Update Toolchain #959: Scheduled
13s main
main
13s
chore: merge main into nightly-testing Build #794: Commit a0e728c pushed by fgdorais
1m 1s nightly-testing
nightly-testing
1m 1s
chore: cleanup for v2 (#99) Build #793: Commit 665e51f pushed by fgdorais
57s main
main
57s
chore: cleanup for v2 (#99) Push to Nightly #5: Commit 665e51f pushed by fgdorais
15s main
main
15s
chore: cleanup for v2 Build #792: Pull request #99 synchronize by fgdorais
55s cleanup
cleanup
55s
chore: cleanup for v2 Build #791: Pull request #99 synchronize by fgdorais
49s cleanup
cleanup
49s
ProTip! You can narrow down the results and go further in time using created:<2026-05-21 or the other filters available.