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 #763: Scheduled
11s main
main
11s
Update Toolchain Update Toolchain #762: Scheduled
10s main
main
10s
Update Toolchain Update Toolchain #761: Scheduled
14s main
main
14s
Update Toolchain Update Toolchain #760: Scheduled
13s main
main
13s
Update Toolchain Update Toolchain #759: Scheduled
14s main
main
14s
Update Toolchain Update Toolchain #758: Manually run by fgdorais
13s main
main
13s
Update Toolchain Update Toolchain #757: Scheduled
12s main
main
12s
Update Toolchain Update Toolchain #756: Manually run by fgdorais
13s nightly
nightly
13s
Update Toolchain Update Toolchain #755: Manually run by fgdorais
10s main
main
10s
Update Toolchain Update Toolchain #754: Manually run by fgdorais
11s main
main
11s
Update Toolchain Update Toolchain #753: Manually run by fgdorais
11s test-ci
test-ci
11s
Update Toolchain Update Toolchain #752: Manually run by fgdorais
14s test-ci
test-ci
14s
Update Toolchain Update Toolchain #751: Manually run by fgdorais
15s test-ci
test-ci
15s
Update Toolchain Update Toolchain #750: Manually run by fgdorais
9s test-ci
test-ci
9s
Update Toolchain Update Toolchain #749: Manually run by fgdorais
10s test-ci
test-ci
10s
Update Toolchain Update Toolchain #748: Manually run by fgdorais
13s test-ci
test-ci
13s
Update Toolchain Update Toolchain #747: Manually run by fgdorais
13s test-ci
test-ci
13s
Update Toolchain Update Toolchain #746: Manually run by fgdorais
23s test-ci
test-ci
23s
Update Toolchain Update Toolchain #745: Manually run by fgdorais
9s test-ci
test-ci
9s
Update Toolchain Update Toolchain #744: Manually run by fgdorais
15s test-ci
test-ci
15s
Update Toolchain Update Toolchain #743: Scheduled
7s main
main
7s
Update Toolchain Update Toolchain #742: Scheduled
12s main
main
12s
Update Toolchain Update Toolchain #741: Scheduled
12s main
main
12s
Update Toolchain Update Toolchain #740: Scheduled
12s main
main
12s
Update Toolchain Update Toolchain #739: Scheduled
10s main
main
10s