Skip to content

Actions: fgdorais/lean4-unicode-basic

Actions

Update Toolchain

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update Toolchain Update Toolchain #902: Scheduled
19s main
main
19s
Update Toolchain Update Toolchain #901: Scheduled
18s main
main
18s
Update Toolchain Update Toolchain #900: Scheduled
14s main
main
14s
Update Toolchain Update Toolchain #899: Scheduled
13s main
main
13s
Update Toolchain Update Toolchain #898: Scheduled
12s main
main
12s
Update Toolchain Update Toolchain #897: Scheduled
17s main
main
17s
Update Toolchain Update Toolchain #896: Manually run by fgdorais
21s main
main
21s
Update Toolchain Update Toolchain #895: Scheduled
18s main
main
18s
Update Toolchain Update Toolchain #894: Scheduled
15s main
main
15s
Update Toolchain Update Toolchain #893: Scheduled
13s main
main
13s
Update Toolchain Update Toolchain #892: Scheduled
12s main
main
12s
Update Toolchain Update Toolchain #891: Scheduled
12s main
main
12s
Update Toolchain Update Toolchain #890: Scheduled
16s main
main
16s
Update Toolchain Update Toolchain #889: Scheduled
11s main
main
11s
Update Toolchain Update Toolchain #888: Scheduled
16s main
main
16s
Update Toolchain Update Toolchain #887: Scheduled
15s main
main
15s
Update Toolchain Update Toolchain #886: Scheduled
13s main
main
13s
Update Toolchain Update Toolchain #885: Scheduled
13s main
main
13s
Update Toolchain Update Toolchain #884: Scheduled
14s main
main
14s
Update Toolchain Update Toolchain #883: Scheduled
13s main
main
13s
Update Toolchain Update Toolchain #882: Scheduled
14s main
main
14s
Update Toolchain Update Toolchain #881: Scheduled
12s main
main
12s
Update Toolchain Update Toolchain #880: Scheduled
13s main
main
13s
Update Toolchain Update Toolchain #879: Scheduled
17s main
main
17s
Update Toolchain Update Toolchain #878: Scheduled
15s main
main
15s