Initial CI build

Co-authored-by: Ryan Scott <[email protected]>

.github/ci.sh

@@ -0,0 +1,21 @@
+#!/usr/bin/env bash
+set -Eeuxo pipefail
+
+setup_dist_bins() {
+  mkdir -p dist/bin
+  # Copy over each binary (built with --release) listed in Cargo.toml.
+  for bin in $(cargo read-manifest | jq -r '.targets[] | select([ .kind[] | contains("bin") ] | any) | .name'); do
+    cp "target/release/$bin" "dist/bin/$bin";
+  done
+}
+
+zip_dist() {
+  name="$1"
+  cp -r dist "$name"
+  tar -czf "$name".tar.gz "$name"
+}
+
+COMMAND="$1"
+shift
+
+"$COMMAND" "$@"

.github/workflows/ci.yml

@@ -0,0 +1,77 @@
+name: CI
+
+on:
+  push:
+    branches:
+    - main
+  pull_request:
+
+env:
+  # The CACHE_VERSION environment variable can be updated to force the use of a
+  # new cache if the current cache contents become corrupted/invalid.  This can
+  # sometimes happen when (for example) the OS version is changed but older .so
+  # files are cached, which can have various unintended effects.
+  CACHE_VERSION: 1
+  RUST_TOOLCHAIN: "nightly-2023-01-23"
+
+jobs:
+  lint:
+    runs-on: ${{ matrix.os }}
+    strategy:
+      fail-fast: false
+      matrix:
+        os: [ubuntu-22.04]
+    steps:
+    - uses: actions/checkout@v4
+    - name: Deps
+      run: |
+        rustup default ${{ env.RUST_TOOLCHAIN }}
+        rustup component add clippy rustc-dev
+    - uses: Swatinem/rust-cache@v2
+      with:
+        cache-on-failure: "true"
+        prefix-key: "${{ env.CACHE_VERSION }}-${{ matrix.os }}"
+    # TODO (#80): Fix lints, use --deny warnings
+    - name: Lint
+      run: cargo clippy --locked
+
+  build:
+    runs-on: ${{ matrix.os }}
+    strategy:
+      fail-fast: false
+      matrix:
+        os: [ubuntu-22.04, macos-14]
+    steps:
+    - uses: actions/checkout@v4
+    - name: Deps
+      run: |
+        rustup default ${{ env.RUST_TOOLCHAIN }}
+        rustup component add rustc-dev
+    - uses: Swatinem/rust-cache@v2
+      with:
+        cache-on-failure: "true"
+        prefix-key: "${{ env.CACHE_VERSION }}-${{ matrix.os }}"
+
+    # TODO (#81): Fix builds of examples, run tests
+    # - run: cargo test --locked --no-run
+    # - run: cargo test --locked
+    - run: cargo build --locked --release
+
+    # NB: These binary distributions will not work unless you have the
+    # appropriate Rust toolchain installed beforehand.
+    - name: Extract executables to binary distribution
+      shell: bash
+      run: .github/ci.sh setup_dist_bins
+    - name: Compress binary distribution
+      shell: bash
+      run: |
+        NAME="mir-json-${{ matrix.os }}-${{ runner.arch }}"
+        echo "NAME=$NAME" >> $GITHUB_ENV
+        .github/ci.sh zip_dist $NAME
+    - name: Upload binary distribution
+      uses: actions/upload-artifact@v4
+      if: github.event.pull_request.head.repo.fork == false && github.repository_owner == 'GaloisInc'
+      with:
+        name: ${{ env.NAME }}
+        path: "${{ env.NAME }}.tar.gz*"
+        if-no-files-found: error