diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml new file mode 100644 index 0000000..69bcf8a --- /dev/null +++ b/.github/workflows/workflow.yml @@ -0,0 +1,28 @@ +name: CI + +# Controls when the workflow will run +on: [push, pull_request] + +jobs: + # This job will build and test the JSpecify Conformance Tests on the Checker Framework + build-and-test: + # The type of runner that the job will run on + runs-on: ubuntu-latest + defaults: + run: + working-directory: jspecify-conformance + 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: jspecify-conformance + - name: Set up Java + uses: actions/setup-java@v4 + with: + distribution: temurin + java-version: 17 + - name: Set up Gradle + uses: gradle/gradle-build-action@v3 + - name: Build and Test + run: gradle clean test diff --git a/gradle/libs.versions.toml b/gradle/libs.versions.toml index c1491de..5a21822 100644 --- a/gradle/libs.versions.toml +++ b/gradle/libs.versions.toml @@ -1,12 +1,10 @@ [versions] -# Define the version of your dependency junitVer = "5.9.1" guavaVer = "31.1-jre" jSpecifyConformanceTestVer = "0.0.0-SNAPSHOT" checkerFrameworkVer = "3.42.0" [libraries] -# Define your dependencies junit = { module = "org.junit.jupiter:junit-jupiter", version.ref = "junitVer" } guava = { module = "com.google.guava:guava", version.ref = "guavaVer" } jspecify-conformance-tests = { module = "org.jspecify.conformance:conformance-tests", version.ref = "jSpecifyConformanceTestVer" } diff --git a/settings.gradle b/settings.gradle index 6b603a2..28ee41d 100644 --- a/settings.gradle +++ b/settings.gradle @@ -1,8 +1 @@ -/* - * This file was generated by the Gradle 'init' task. - * - * The settings file is used to specify which projects to include in your build. - * For more detailed information on multi-project builds, please refer to https://docs.gradle.org/8.6/userguide/multi_project_builds.html in the Gradle documentation. - */ - rootProject.name = 'jspecify-conformance'