Skip to content

Actions: fgdorais/lean4-unicode-basic

Actions

Update Toolchain

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
update-toolchain.yml
434 workflow runs
434 workflow runs

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 #562: Scheduled
16s main
main
16s
Update Toolchain Update Toolchain #561: Scheduled
18s main
main
18s
Update Toolchain Update Toolchain #560: Scheduled
18s main
main
18s
Update Toolchain Update Toolchain #559: Scheduled
11s main
main
11s
Update Toolchain Update Toolchain #558: Scheduled
17s main
main
17s
Update Toolchain Update Toolchain #557: Scheduled
19s main
main
19s
Update Toolchain Update Toolchain #556: Scheduled
16s main
main
16s
Update Toolchain Update Toolchain #555: Scheduled
14s main
main
14s
Update Toolchain Update Toolchain #554: Scheduled
14s main
main
14s
Update Toolchain Update Toolchain #553: Scheduled
14s main
main
14s
Update Toolchain Update Toolchain #552: Scheduled
12s main
main
12s
Update Toolchain Update Toolchain #551: Scheduled
14s main
main
14s
Update Toolchain Update Toolchain #550: Scheduled
15s main
main
15s
Update Toolchain Update Toolchain #549: Scheduled
13s main
main
13s
Update Toolchain Update Toolchain #548: Scheduled
13s main
main
13s
Update Toolchain Update Toolchain #547: Scheduled
13s main
main
13s
Update Toolchain Update Toolchain #546: Scheduled
14s main
main
14s
Update Toolchain Update Toolchain #545: Scheduled
13s main
main
13s
Update Toolchain Update Toolchain #544: Scheduled
17s main
main
17s
Update Toolchain Update Toolchain #543: Scheduled
16s main
main
16s
Update Toolchain Update Toolchain #542: Scheduled
12s main
main
12s
Update Toolchain Update Toolchain #541: Scheduled
13s main
main
13s
Update Toolchain Update Toolchain #540: Scheduled
13s main
main
13s
Update Toolchain Update Toolchain #539: Scheduled
18s main
main
18s
Update Toolchain Update Toolchain #538: Scheduled
12s main
main
12s
ProTip! You can narrow down the results and go further in time using created:<2025-04-19 or the other filters available.