Skip to content

Attempt toolchain update #769

Attempt toolchain update

Attempt toolchain update #769

create-toolchain-pr

succeeded Jan 15, 2025 in 57s
Set up job
1s
Checkout Kani
1s
Setup Kani Dependencies
52s
Update toolchain config
0s
Clean untracked files
0s
Create Pull Request
0s
Add debugging hints
0s
Create Issue
0s
Post Checkout Kani
0s
Complete job
0s