chore: Convert from CircleCI to Github Actions

* Also add builds for Java 11 and Java 17

Fixes prometheus#743
Relates prometheus#658

Signed-off-by: Harold Dost <[email protected]>

Author: hdost

.circleci/config.yml

@@ -0,0 +1,38 @@
+name: "PR Build"
+on:
+  pull_request:
+    branches:
+      - master
+      - main
+
+jobs:
+  build:
+    name: Build
+    runs-on: ubuntu-20.04
+    strategy:
+      fail-fast: false
+      matrix:
+        java-version:
+          - 8
+          - 11
+          - 17
+    steps:
+      - uses: actions/[email protected]
+        with:
+          fetch-depth: 0
+      - name: Set up JDK
+        uses: actions/setup-java@v2
+        with:
+          java-version: '${{ matrix.java-version }}'
+          distribution: 'adopt'
+      - name: Caching
+        uses: actions/cache@v2
+        with:
+          path: ~/.m2
+          key: maven-${{ hashFiles('pom.xml') }}-${{ matrix.java-version }}
+      - name: Build ${{ matrix.java-version }}
+        run: |
+          java -version
+          ./mvnw clean install
+      - name: Build Java Doc ${{ matrix.java-version }}
+        run: ./mvnw javadoc:jar