[CI] Bump integration test image to 18.0

This image includes an up-to-date build of Yosys and SymbiYosys, useful for testing the new circt-test formal flows.
llvm · Nov 25, 2024 · b0015c2 · b0015c2
1 parent d379a35
commit b0015c2
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/nightlyIntegrationTests.yml b/.github/workflows/nightlyIntegrationTests.yml
@@ -19,7 +19,7 @@ jobs:
     # John and re-run the job.
     runs-on: ["self-hosted", "1ES.Pool=1ES-CIRCT-builds", "linux"]
     container:
-      image: ghcr.io/circt/images/circt-integration-test:v17.0
+      image: ghcr.io/circt/images/circt-integration-test:v18.0
       volumes:
         - /mnt:/__w/circt
     strategy:

diff --git a/.github/workflows/shortIntegrationTests.yml b/.github/workflows/shortIntegrationTests.yml
@@ -29,7 +29,7 @@ jobs:
     # John and re-run the job.
     runs-on: ["self-hosted", "1ES.Pool=1ES-CIRCT-builds", "linux"]
     container:
-      image: ghcr.io/circt/images/circt-integration-test:v17.0
+      image: ghcr.io/circt/images/circt-integration-test:v18.0
       volumes:
         - /mnt:/__w/circt
     strategy: