Try `large` containers for `kontrol-tests`

d1ba275a · Juan C · GitHub · b09dcd32 · d1ba275a
Commit d1ba275a 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: xlarge
+    resource_class: large
    steps:
      - checkout
      - check-changed: