Add CI

.github/workflows/admin.yml

@@ -0,0 +1,19 @@
+name: Repo Admin
+on:
+  push:
+    branches: [ main ]
+    paths:
+      - doc/*
+      - src/*/*.scala
+jobs:
+  admin:
+    runs-on: ubuntu-latest
+    permissions:
+      contents: write
+    steps:
+    - name: Checkout
+      uses: actions/checkout@v3
+    - name: Tidy repository
+      uses: propensive/tumult@0.5.0
+    - name: Autocommit changes
+      uses: stefanzweifel/git-auto-commit-action@v4

.github/workflows/main.yml

@@ -0,0 +1,27 @@
+name: Build
+on:
+  push:
+    branches: [ main ]
+  pull_request:
+    branches: [ main ]
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+    - name: Checkout
+      uses: actions/checkout@v3
+      with:
+        submodules: recursive
+    - name: Setup Java 19
+      uses: actions/setup-java@v3
+      with:
+        distribution: 'temurin'
+        java-version: '19'
+    - name: Get Wrath
+      uses: actions/checkout@v3
+      with:
+        repository: 'propensive/wrath'
+        path: 'wrath'
+        ref: '0.5.0'
+    - name: Build
+      run: "wrath/wrath -F -x"

.github/workflows/publish.yml

@@ -0,0 +1,47 @@
+name: Publish
+on:
+  push:
+    tags:
+      - 'pending/*'
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+    - name: Checkout
+      uses: actions/checkout@v2
+      with:
+        submodules: recursive
+        fetch-depth: 0
+    - name: Setup Java 11
+      uses: actions/setup-java@v2
+      with:
+        distribution: 'temurin'
+        java-version: '11'
+    - name: Fetch tags
+      run: git fetch --depth=1 origin +refs/tags/*:refs/tags/*
+    - name: Get Version
+      id: tagName
+      run: echo ::set-output name=version::${GITHUB_REF#refs/tags/pending/}
+    - name: 'Abort if tag exists'
+      id: checkTagged
+      shell: bash
+      run: git show-ref --tags --verify --quiet -- "refs/tags/release/${{ steps.tagName.outputs.version }}" && exit 1 || exit 0
+    - name: Publish
+      run: echo Publishing
+    - name: Tag release
+      uses: actions/github-script@v6
+      with:
+        github-token: ${{ secrets.RELEASE_TOKEN }}
+        script: |
+          let newRef = context.ref.replace('pending', 'release');
+          github.rest.git.createRef({
+            owner: context.repo.owner,
+            repo: context.repo.repo,
+            ref: newRef,
+            sha: context.sha
+          });
+          github.rest.git.deleteRef({
+            owner: context.repo.owner,
+            repo: context.repo.repo,
+            ref: context.ref.substring(5)
+          });