Skip to content

Actions: fgdorais/lean4-unicode-basic

Actions

Update Toolchain

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
update-toolchain.yml
435 workflow runs
435 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 #813: Scheduled
18s main
main
18s
Update Toolchain Update Toolchain #812: Scheduled
16s main
main
16s
Update Toolchain Update Toolchain #811: Scheduled
16s main
main
16s
Update Toolchain Update Toolchain #810: Scheduled
16s main
main
16s
Update Toolchain Update Toolchain #809: Scheduled
15s main
main
15s
Update Toolchain Update Toolchain #808: Scheduled
15s main
main
15s
Update Toolchain Update Toolchain #807: Scheduled
15s main
main
15s
Update Toolchain Update Toolchain #806: Scheduled
13s main
main
13s
Update Toolchain Update Toolchain #805: Scheduled
14s main
main
14s
Update Toolchain Update Toolchain #804: Scheduled
15s main
main
15s
Update Toolchain Update Toolchain #803: Scheduled
16s main
main
16s
Update Toolchain Update Toolchain #802: Scheduled
11s main
main
11s
Update Toolchain Update Toolchain #801: Scheduled
12s main
main
12s
Update Toolchain Update Toolchain #800: Scheduled
12s main
main
12s
Update Toolchain Update Toolchain #799: Scheduled
15s main
main
15s
Update Toolchain Update Toolchain #798: Scheduled
21s main
main
21s
Update Toolchain Update Toolchain #797: Scheduled
14s main
main
14s
Update Toolchain Update Toolchain #796: Scheduled
3m 0s main
main
3m 0s
Update Toolchain Update Toolchain #795: Scheduled
15s main
main
15s
Update Toolchain Update Toolchain #794: Manually run by fgdorais
14s main
main
14s
Update Toolchain Update Toolchain #793: Scheduled
21s main
main
21s
Update Toolchain Update Toolchain #792: Scheduled
14s main
main
14s
Update Toolchain Update Toolchain #791: Scheduled
19s main
main
19s
Update Toolchain Update Toolchain #790: Scheduled
19s main
main
19s
Update Toolchain Update Toolchain #789: Scheduled
18s main
main
18s