Skip to content

Actions: fgdorais/lean4-unicode-basic

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,828 workflow runs
1,828 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 #790: Pull request #99 synchronize by fgdorais
45s cleanup
cleanup
45s
chore: cleanup for v2 Build #789: Pull request #99 synchronize by fgdorais
44s cleanup
cleanup
44s
github_actions in /. - Update #1377938705 Dependabot Updates #533: by dependabot Bot
32s main
main
32s
chore: cleanup for v2 Build #788: Pull request #99 synchronize by fgdorais
59s cleanup
cleanup
59s
chore: cleanup for v2 Build #787: Pull request #99 synchronize by fgdorais
39s cleanup
cleanup
39s
chore: update toolchain nightly-2026-05-21 Build #786: Commit d81ccf9 pushed by fgdorais
1m 1s nightly-testing
nightly-testing
1m 1s
Update Nightly Toolchain Update Nightly Toolchain #33: Scheduled
22s main
main
22s
chore: cleanup for v2 Build #785: Pull request #99 synchronize by fgdorais
37s cleanup
cleanup
37s
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
ProTip! You can narrow down the results and go further in time using created:<2026-05-16 or the other filters available.