Skip to content

Actions: fgdorais/lean4-unicode-basic

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,824 workflow runs
1,824 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 Toolchain Update Nightly Toolchain #74: Scheduled
46s main
main
46s
feat: implement full UCD 17.0 Build #854: Pull request #148 synchronize by srghma
52s srghma:main
srghma:main
52s
Update Toolchain Update Toolchain #1003: Scheduled
19s main
main
19s
feat: implement full UCD 17.0 Build #853: Pull request #148 synchronize by srghma
1m 39s srghma:main
srghma:main
1m 39s
feat: implement full UCD 17.0 Build #852: Pull request #148 synchronize by srghma
Action required srghma:main
srghma:main
Action required
feat: implement full UCD 17.0 Build #851: Pull request #148 synchronize by fgdorais
58s srghma:main
srghma:main
58s
feat: implement full UCD 17.0 Build #850: Pull request #148 synchronize by srghma
1m 5s srghma:main
srghma:main
1m 5s
feat: implement full UCD 17.0 Build #849: Pull request #148 synchronize by srghma
1m 0s srghma:main
srghma:main
1m 0s
feat: implement full UCD 17.0 Build #848: Pull request #148 synchronize by srghma
-1s srghma:main
srghma:main
-1s
github_actions in /. - Update #1441382737 Dependabot Updates #560: by dependabot Bot
27s main
main
27s
chore: update toolchain nightly-2026-06-30 Build #847: Commit 1023851 pushed by fgdorais
1m 0s nightly-testing
nightly-testing
1m 0s
Update Nightly Toolchain Update Nightly Toolchain #73: Scheduled
12s main
main
12s
feat: implement full UCD 17.0 Build #846: Pull request #148 synchronize by srghma
Action required srghma:main
srghma:main
Action required
feat: implement full UCD 17.0 Build #845: Pull request #148 synchronize by srghma
1m 10s srghma:main
srghma:main
1m 10s
feat: implement full UCD 17.0 Build #844: Pull request #148 synchronize by srghma
1m 26s srghma:main
srghma:main
1m 26s
feat: implement full UCD 17.0 Build #843: Pull request #148 opened by srghma
Action required srghma:main
srghma:main
Action required
Update Toolchain Update Toolchain #1002: Scheduled
12s main
main
12s
chore: update toolchain nightly-2026-06-29 Build #842: Commit a2917c5 pushed by fgdorais
58s nightly-testing
nightly-testing
58s
Update Nightly Toolchain Update Nightly Toolchain #72: Scheduled
13s main
main
13s
github_actions in /. - Update #1438996212 Dependabot Updates #559: by dependabot Bot
30s main
main
30s
Update Toolchain Update Toolchain #1001: Scheduled
16s main
main
16s
Update Nightly Toolchain Update Nightly Toolchain #71: Scheduled
11s main
main
11s
Update Toolchain Update Toolchain #1000: Scheduled
15s main
main
15s
chore: update toolchain nightly-2026-06-27 Build #841: Commit 621a863 pushed by fgdorais
1m 13s nightly-testing
nightly-testing
1m 13s
Update Nightly Toolchain Update Nightly Toolchain #70: Scheduled
9s main
main
9s