Skip to content

chore: Add sorry'ed definitions for rotate_{left/right} #1706

chore: Add sorry'ed definitions for rotate_{left/right}

chore: Add sorry'ed definitions for rotate_{left/right} #1706

charon-pin-is-merged

succeeded Jan 20, 2025 in 1m 25s
Set up job
1s
Set up runner
0s
Run actions/checkout@v4
1s
Run nix develop --command ./scripts/ci-check-charon-pin-is-merged.sh
1m 21s
Post Run actions/checkout@v4
0s
Complete runner
0s
Complete job
0s