Skip to content

Commit

Permalink
Build a local eisop/checker-framework
Browse files Browse the repository at this point in the history
  • Loading branch information
wmdietl committed Jul 26, 2024
1 parent af9dfbc commit ca06ea8
Showing 1 changed file with 7 additions and 2 deletions.
9 changes: 7 additions & 2 deletions .github/workflows/build.yml
Original file line number Diff line number Diff line change
Expand Up @@ -19,6 +19,11 @@ jobs:
with:
repository: jspecify/jspecify
path: jspecify
- name: Check out eisop/checker-framework
uses: actions/checkout@v4
with:
repository: eisop/checker-framework
path: checker-framework
- name: Set up Java
uses: actions/setup-java@v4
with:
Expand All @@ -27,7 +32,7 @@ jobs:
- name: Set up Gradle
uses: gradle/gradle-build-action@v3
- name: Build and Test
run: ./gradlew build conformanceTests demoTest --include-build ../jspecify
run: ./gradlew build conformanceTests demoTest --include-build ../jspecify --include-build ../checker-framework
env:
SHALLOW: 1
JSPECIFY_CONFORMANCE_TEST_MODE: details
Expand All @@ -39,7 +44,7 @@ jobs:
working-directory: jspecify
- name: Run Samples Tests
if: always()
run: ./gradlew jspecifySamplesTest --include-build ../jspecify
run: ./gradlew jspecifySamplesTest --include-build ../jspecify --include-build ../checker-framework

publish-snapshot:
name: Publish Conformance Test Framework Snapshot
Expand Down

0 comments on commit ca06ea8

Please sign in to comment.