Skip to content

Actions: fgdorais/lean4-unicode-basic

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,786 workflow runs
1,786 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: cleanup for v2 Build #784: Pull request #99 synchronize by fgdorais
39s cleanup
cleanup
39s
Update Toolchain Update Toolchain #958: Scheduled
16s main
main
16s
github_actions in /. - Update #1376756686 Dependabot Updates #532: by dependabot Bot
35s main
main
35s
Update Nightly Toolchain Update Nightly Toolchain #32: Scheduled
11s main
main
11s
chore: cleanup for v2 Build #783: Pull request #99 synchronize by fgdorais
58s cleanup
cleanup
58s
Update Toolchain Update Toolchain #957: Scheduled
19s main
main
19s
github_actions in /. - Update #1375162975 Dependabot Updates #531: by dependabot Bot
24s main
main
24s
Update Nightly Toolchain Update Nightly Toolchain #31: Scheduled
9s main
main
9s
Update Toolchain Update Toolchain #956: Scheduled
14s main
main
14s
github_actions in /. - Update #1372615599 Dependabot Updates #530: by dependabot Bot
25s main
main
25s
chore: update toolchain nightly-2026-05-18 Build #782: Commit 1ca6ef3 pushed by fgdorais
58s nightly-testing
nightly-testing
58s
Update Nightly Toolchain Update Nightly Toolchain #30: Scheduled
13s main
main
13s
Update Toolchain Update Toolchain #955: Scheduled
17s main
main
17s
Update Nightly Toolchain Update Nightly Toolchain #29: Scheduled
8s main
main
8s
Update Toolchain Update Toolchain #954: Scheduled
13s main
main
13s
chore: update toolchain nightly-2026-05-16 Build #781: Commit ec83f8a pushed by fgdorais
1m 0s nightly-testing
nightly-testing
1m 0s
Update Nightly Toolchain Update Nightly Toolchain #28: Scheduled
11s main
main
11s
Update Toolchain Update Toolchain #953: Scheduled
13s main
main
13s
github_actions in /. - Update #1369111350 Dependabot Updates #529: by dependabot Bot
33s main
main
33s
chore: update toolchain nightly-2026-05-14 Build #780: Commit 4694a87 pushed by fgdorais
1m 7s nightly-testing
nightly-testing
1m 7s
Update Nightly Toolchain Update Nightly Toolchain #27: Scheduled
9s main
main
9s
Update Toolchain Update Toolchain #952: Scheduled
17s main
main
17s
github_actions in /. - Update #1367500303 Dependabot Updates #528: by dependabot Bot
34s main
main
34s
chore: update toolchain nightly-2026-05-13 Build #779: Commit 7944472 pushed by fgdorais
1m 3s nightly-testing
nightly-testing
1m 3s
Update Nightly Toolchain Update Nightly Toolchain #26: Scheduled
13s main
main
13s