Skip to content

Actions: fgdorais/lean4-unicode-basic

Actions

Update Toolchain

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
update-toolchain.yml
437 workflow runs
437 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 #929: Scheduled
10s main
main
10s
Update Toolchain Update Toolchain #928: Manually run by fgdorais
12s test-ci
test-ci
12s
Update Toolchain Update Toolchain #927: Scheduled
10s main
main
10s
Update Toolchain Update Toolchain #926: Scheduled
15s main
main
15s
Update Toolchain Update Toolchain #925: Scheduled
11s main
main
11s
Update Toolchain Update Toolchain #924: Scheduled
14s main
main
14s
Update Toolchain Update Toolchain #923: Manually run by fgdorais
15s main
main
15s
Update Toolchain Update Toolchain #922: Scheduled
13s main
main
13s
Update Toolchain Update Toolchain #921: Scheduled
16s main
main
16s
Update Toolchain Update Toolchain #920: Scheduled
17s main
main
17s
Update Toolchain Update Toolchain #919: Scheduled
14s main
main
14s
Update Toolchain Update Toolchain #918: Manually run by Garmelon
13s main
main
13s
Update Toolchain Update Toolchain #917: Scheduled
14s main
main
14s
Update Toolchain Update Toolchain #916: Scheduled
15s main
main
15s
Update Toolchain Update Toolchain #915: Scheduled
14s main
main
14s
Update Toolchain Update Toolchain #914: Scheduled
15s main
main
15s
Update Toolchain Update Toolchain #913: Scheduled
11s main
main
11s
Update Toolchain Update Toolchain #912: Scheduled
10s main
main
10s
Update Toolchain Update Toolchain #911: Scheduled
10s main
main
10s
Update Toolchain Update Toolchain #910: Scheduled
9s main
main
9s
Update Toolchain Update Toolchain #909: Scheduled
9s main
main
9s
Update Toolchain Update Toolchain #908: Scheduled
12s main
main
12s
Update Toolchain Update Toolchain #907: Scheduled
22s main
main
22s
Update Toolchain Update Toolchain #906: Scheduled
20s main
main
20s
Update Toolchain Update Toolchain #905: Scheduled
12s main
main
12s