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 #961: Scheduled
15s main
main
15s
Update Toolchain Update Toolchain #960: Scheduled
17s main
main
17s
Update Toolchain Update Toolchain #959: Scheduled
13s main
main
13s
Update Toolchain Update Toolchain #958: Scheduled
16s main
main
16s
Update Toolchain Update Toolchain #957: Scheduled
19s main
main
19s
Update Toolchain Update Toolchain #956: Scheduled
14s main
main
14s
Update Toolchain Update Toolchain #955: Scheduled
17s main
main
17s
Update Toolchain Update Toolchain #954: Scheduled
13s main
main
13s
Update Toolchain Update Toolchain #953: Scheduled
13s main
main
13s
Update Toolchain Update Toolchain #952: Scheduled
17s main
main
17s
Update Toolchain Update Toolchain #951: Scheduled
13s main
main
13s
Update Toolchain Update Toolchain #950: Scheduled
20s main
main
20s
Update Toolchain Update Toolchain #949: Scheduled
18s main
main
18s
Update Toolchain Update Toolchain #948: Scheduled
19s main
main
19s
Update Toolchain Update Toolchain #947: Scheduled
14s main
main
14s
Update Toolchain Update Toolchain #946: Scheduled
18s main
main
18s
Update Toolchain Update Toolchain #945: Scheduled
19s main
main
19s
Update Toolchain Update Toolchain #944: Scheduled
13s main
main
13s
Update Toolchain Update Toolchain #943: Scheduled
14s main
main
14s
Update Toolchain Update Toolchain #942: Scheduled
14s main
main
14s
Update Toolchain Update Toolchain #941: Scheduled
16s main
main
16s
Update Toolchain Update Toolchain #940: Scheduled
18s main
main
18s
Update Toolchain Update Toolchain #939: Scheduled
11s main
main
11s
Update Toolchain Update Toolchain #938: Scheduled
13s main
main
13s
Update Toolchain Update Toolchain #937: Scheduled
18s main
main
18s