Merge branch 'main' into minimal

.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

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" }

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'