Switch to us-central1-b for CI jobs#198
Closed
resistor wants to merge 1 commit intoCHERIoT-Platform:cheriotfrom
Closed
Switch to us-central1-b for CI jobs#198resistor wants to merge 1 commit intoCHERIoT-Platform:cheriotfrom
resistor wants to merge 1 commit intoCHERIoT-Platform:cheriotfrom
