From cdb2d251718a30ec6c0bba7b082bb0503f700135 Mon Sep 17 00:00:00 2001 From: Werner Dietl Date: Wed, 7 Aug 2024 10:52:53 -0400 Subject: [PATCH] Attempt running daikon on GitHub Actions --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index f46712b2646..a35533ee878 100644 --- 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 }}