Back to xlarge

5ac60149 · Juan C · GitHub · d1ba275a · 5ac60149
Commit 5ac60149 authored Dec 05, 2023 by Juan C Committed by GitHub Dec 05, 2023
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

config.yml .circleci/config.yml +1 -1

No files found.
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -1344,7 +1344,7 @@ jobs:
  kontrol-tests:
    docker:
      - image: runtimeverificationinc/kontrol:ubuntu-jammy-0.1.74
-    resource_class: large
+    resource_class: xlarge
    steps:
      - checkout
      - check-changed: