Skip to content

Switch to using 16 vCPUs in CI.#133

Merged
resistor merged 1 commit intoCHERIoT-Platform:cheriotfrom
resistor:16cpu
Apr 25, 2025
Merged

Switch to using 16 vCPUs in CI.#133
resistor merged 1 commit intoCHERIoT-Platform:cheriotfrom
resistor:16cpu

Commits

Commits on Apr 25, 2025