Skip to content

Actions: tautschnig/kani

Actions

Attempt toolchain update

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
toolchain-upgrade.yml
54 workflow run results
54 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Attempt toolchain update Attempt toolchain update #337: Scheduled
October 14, 2023 02:31 4m 16s main
main
October 14, 2023 02:31 4m 16s
Attempt toolchain update Attempt toolchain update #336: Scheduled
October 13, 2023 02:36 5m 35s main
main
October 13, 2023 02:36 5m 35s
Attempt toolchain update Attempt toolchain update #335: Scheduled
October 12, 2023 02:31 4m 19s main
main
October 12, 2023 02:31 4m 19s
Attempt toolchain update Attempt toolchain update #334: Scheduled
October 11, 2023 02:32 4m 8s main
main
October 11, 2023 02:32 4m 8s