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 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
Update Toolchain Update Toolchain #999: Scheduled
13s main
main
13s
github_actions in /. - Update #1436201646 Dependabot Updates #558: by dependabot Bot
29s main
main
29s
chore: update toolchain nightly-2026-06-26 Build #840: Commit a86b244 pushed by fgdorais
2m 11s nightly-testing
nightly-testing
2m 11s
Update Nightly Toolchain Update Nightly Toolchain #69: Scheduled
11s main
main
11s
Update Toolchain Update Toolchain #998: Scheduled
14s main
main
14s
chore: merge main into nightly-testing Build #839: Commit 3f96f2e pushed by fgdorais
44s nightly-testing
nightly-testing
44s
chore: bump dcarbone/install-jq-action from 3 to 4 (#146) Build #838: Commit 2a0324f pushed by fgdorais
47s main
main
47s
chore: bump dcarbone/install-jq-action from 3 to 4 (#146) Push to Nightly #12: Commit 2a0324f pushed by fgdorais
14s main
main
14s
chore: bump dcarbone/install-jq-action from 3 to 4 Build #837: Pull request #146 opened by dependabot Bot
46s dependabot/github_actions/dcarbone/install-jq-action-4
dependabot/github_actions/dcarbone/install-jq-action-4
46s
github_actions in /. - Update #1435020327 Dependabot Updates #557: by dependabot Bot
34s main
main
34s
chore: update toolchain nightly-2026-06-25 Build #836: Commit 17b8755 pushed by fgdorais
1m 15s nightly-testing
nightly-testing
1m 15s