Set `kontrol-tests` resource class to `xlarge`

f9acdc36 · Juan C · aa0e4a25 · f9acdc36
Commit f9acdc36 authored Dec 05, 2023 by Juan C
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 0 deletions

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

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