Skip to content

Actions: fgdorais/lean4-unicode-basic

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,823 workflow runs
1,823 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 Toolchain Update Toolchain #1013: Scheduled
20s main
main
20s
github_actions in /. - Update #1453562555 Dependabot Updates #567: by dependabot Bot
25s main
main
25s
chore: update toolchain nightly-2026-07-08 Build #875: Commit 18f7fa1 pushed by fgdorais
6m 2s nightly-testing
nightly-testing
6m 2s
Update Nightly Toolchain Update Nightly Toolchain #83: Scheduled
5m 14s main
main
5m 14s
Update Toolchain Update Toolchain #1012: Scheduled
16s main
main
16s
github_actions in /. - Update #1452284618 Dependabot Updates #566: by dependabot Bot
34s main
main
34s
chore: update toolchain nightly-2026-07-07 Build #874: Commit 1031b77 pushed by fgdorais
1m 5s nightly-testing
nightly-testing
1m 5s
Update Nightly Toolchain Update Nightly Toolchain #82: Scheduled
10s main
main
10s
Update Toolchain Update Toolchain #1011: Scheduled
16s main
main
16s
github_actions in /. - Update #1451003419 Dependabot Updates #565: by dependabot Bot
38s main
main
38s
chore: update toolchain nightly-2026-07-06 Build #873: Commit 589f079 pushed by fgdorais
59s nightly-testing
nightly-testing
59s
Update Nightly Toolchain Update Nightly Toolchain #81: Scheduled
11s main
main
11s
Update Toolchain Update Toolchain #1010: Scheduled
16s main
main
16s
Update Nightly Toolchain Update Nightly Toolchain #80: Scheduled
13s main
main
13s
github_actions in /. - Update #1449234479 Dependabot Updates #564: by dependabot Bot
37s main
main
37s
Update Toolchain Update Toolchain #1009: Scheduled
19s main
main
19s
chore: update toolchain nightly-2026-07-03 Build #872: Commit f9fb260 pushed by fgdorais
57s nightly-testing
nightly-testing
57s
Update Nightly Toolchain Update Nightly Toolchain #79: Manually run by fgdorais
10s main
main
10s
Update Toolchain Update Toolchain #1008: Manually run by fgdorais
20s main
main
20s
feat: implement full UCD 17.0 Build #871: Pull request #148 synchronize by srghma
3m 17s srghma:main
srghma:main
3m 17s
feat: implement full UCD 17.0 Build #870: Pull request #148 synchronize by srghma
Action required srghma:main
srghma:main
Action required
Update Nightly Toolchain Update Nightly Toolchain #78: Scheduled
35s main
main
35s
feat: implement full UCD 17.0 Build #869: Pull request #148 synchronize by srghma
3m 32s srghma:main
srghma:main
3m 32s
feat: implement full UCD 17.0 Build #868: Pull request #148 synchronize by srghma
Action required srghma:main
srghma:main
Action required
Update Toolchain Update Toolchain #1007: Scheduled
16s main
main
16s