Typo in image name

2e840909 · F-WRunTime · 634c0515 · 2e840909
Commit 2e840909 authored Nov 29, 2023 by F-WRunTime
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
@@ -1348,7 +1348,7 @@ jobs:

  kontrol-tests:
    docker:
-      - image: <runtimeverificationinc/kontrol:ubuntu-jammy-0.1.74
+      - image: runtimeverificationinc/kontrol:ubuntu-jammy-0.1.74
    steps:
      - checkout
      - check-changed: