Attempt running daikon on GitHub Actions

eisop · Aug 7, 2024 · cdb2d25 · cdb2d25
1 parent b254ced
commit cdb2d25
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -44,7 +44,7 @@ jobs:
     strategy:
       matrix:
         # No need to run 'cftests-junit-jdk21' on JDK 21.
-        script: ['typecheck-part1', 'typecheck-part2', 'guava', 'plume-lib', 'jspecify-conformance']
+        script: ['typecheck-part1', 'typecheck-part2', 'guava', 'plume-lib', 'jspecify-conformance', 'daikon-part1', 'daikon-part2']
         java_version: [21]
     env:
       JAVA_VERSION: ${{ matrix.java_version }}