What if we used uv to run lots of our ci-checks.sh
#5883
eddyashtonlong-verification.yml
on: pull_request
Model Checking With Atomic Reconfig - Consensus
0s
Model Checking With Reconfig - Consensus
0s
Simulation - Consensus
0s