workflow.yml

# This is a basic workflow to help you get started with Actions

name: CI

# Controls when the workflow will run
on: [push, pull_request] 

# A workflow run is made up of one or more jobs that can run sequentially or in parallel
jobs:
  # This workflow contains a single job called "build"
  build-and-test:
    # The type of runner that the job will run on
    runs-on: ubuntu-latest
    defaults:
      run:
        working-directory: checker-framework-jspecify-conformance
    # Steps represent a sequence of tasks that will be executed as part of the job
    steps:
      # Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
      - name: Check out CF JSpecify Conformance Tests
        uses: actions/checkout@v4
        with:
          path: checker-framework-jspecify-conformance
      - name: Check out Checker Framework
        uses: actions/checkout@v4
        with:
          repository: eisop/checker-framework
          path: checker-framework
      - name: Set up Java
        uses: actions/setup-java@v4
        with:
          distribution: temurin
          java-version: 9
      - name: Set up Gradle
        uses: gradle/gradle-build-action@v3
      - name: Build and Test
        run: ./gradlew assemble runJSpecifyConformanceTests -PcfLocal
        env:
          CHECKERFRAMEWORK: ./checker-framework