Skip to content

Actions: fgdorais/lean4-unicode-basic

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,830 workflow runs
1,830 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 nightly-testing Update nightly-testing #104: Scheduled
12s main
main
12s
Update Toolchain Update Toolchain #591: Scheduled
14s main
main
14s
github_actions in /. - Update #1030520630 Dependabot Updates #277: by dependabot Bot
40s main
main
40s
chore: update toolchain nightly-2025-06-08 Build #282: Commit 0fbad40 pushed by fgdorais
57s nightly
nightly
57s
Update nightly-testing Update nightly-testing #103: Scheduled
13s main
main
13s
Update Toolchain Update Toolchain #590: Scheduled
12s main
main
12s
chore: update toolchain nightly-2025-06-08 Build #281: Commit ad06e68 pushed by fgdorais
17s nightly
nightly
17s
Update nightly-testing Update nightly-testing #102: Scheduled
13s main
main
13s
Update Toolchain Update Toolchain #589: Scheduled
20s main
main
20s
chore: update toolchain nightly-2025-06-06 Build #280: Commit 9f28a60 pushed by fgdorais
39s nightly
nightly
39s
Update nightly-testing Update nightly-testing #101: Scheduled
15s main
main
15s
Update Toolchain Update Toolchain #588: Scheduled
13s main
main
13s
github_actions in /. - Update #1029286946 Dependabot Updates #276: by dependabot Bot
35s main
main
35s
chore: update toolchain nightly-2025-06-06 Build #279: Commit 8988fc9 pushed by fgdorais
57s nightly
nightly
57s
Update nightly-testing Update nightly-testing #100: Scheduled
20s main
main
20s
Update Toolchain Update Toolchain #587: Scheduled
14s main
main
14s
github_actions in /. - Update #1028530323 Dependabot Updates #275: by dependabot Bot
39s main
main
39s
chore: update toolchain nightly-2025-06-05 Build #278: Commit 7705013 pushed by fgdorais
41s nightly
nightly
41s
Update nightly-testing Update nightly-testing #99: Scheduled
11s main
main
11s
Update Toolchain Update Toolchain #586: Scheduled
9s main
main
9s
chore: update toolchain v4.21.0-rc3 Build #277: Commit 6728e76 pushed by fgdorais
46s main
main
46s
chore: update toolchain v4.21.0-rc3 Build #276: Pull request #70 synchronize by fgdorais
43s update-toolchain-v4.21.0-rc3
update-toolchain-v4.21.0-rc3
43s
pages build and deployment pages-build-deployment #31: by github-pages Bot
52s docs
docs
52s
chore: update toolchain v4.20.1 Release #12: Commit 2404d83 pushed by fgdorais
7m 12s v1.1.7
v1.1.7
7m 12s
chore: update toolchain v4.20.1 Build #275: Commit 2404d83 pushed by fgdorais
45s main
main
45s
ProTip! You can narrow down the results and go further in time using created:<2025-06-04 or the other filters available.