WIP: Move from Azure Pipelines to GitHub Actions

This simplifies the CI setup substantially.

Fixes: immunant#1226

Author: joshtriplett

.github/workflows/ci.yml

@@ -0,0 +1,78 @@
+name: ci
+
+on:
+  push:
+    branches: [ master ]
+  pull_request:
+    branches: [ master ]
+
+jobs:
+  test:
+    runs-on: ubuntu-22.04
+    steps:
+      - uses: actions/checkout@v3
+      - run: rustup component add rustfmt rustc-dev
+      # Needs adding to the safelist for c2rust GitHub Actions
+      #- uses: Swatinem/rust-cache@v2
+      - run: |
+          sudo apt-get update
+          sudo apt-get install \
+            clang-15 \
+            clang-tools-15 \
+            cmake \
+            curl \
+            git \
+            gperf \
+            libbrotli-dev \
+            libclang-dev \
+            libgcrypt20 \
+            libreadline-dev \
+            libidn2-dev \
+            libldap2-dev \
+            libncurses5-dev \
+            libnghttp2-dev \
+            libpcre3-dev \
+            libpsl-dev \
+            librtmp-dev \
+            libssl-dev \
+            libtool \
+            llvm-15 \
+            llvm-15-tools \
+            luarocks \
+            ninja-build \
+            pkg-config \
+            python3-pip \
+            python3-setuptools \
+            python3-wheel \
+            rcs \
+            strace \
+            unzip \
+            zlib1g-dev
+      - name: Provision Python Packages
+        run: python3 -m pip install -r $GITHUB_WORKSPACE/scripts/requirements.txt
+      - name: cargo fmt --check
+        run: |
+          export RUSTFLAGS="-D warnings"
+          export RUSTDOCFLAGS="-D warnings"
+          cargo fmt --check
+      - name: cargo build --release
+        run: |
+          export RUSTFLAGS="-D warnings"
+          export RUSTDOCFLAGS="-D warnings"
+          # Don't build with `--all-features` as `--all-features` includes `--features llvm-static`,
+          # which we don't want to test here (see https://github.com/immunant/c2rust/issues/500).
+          cargo build --release
+      - name: cargo test --release --workspace
+        run: |
+          export RUSTFLAGS="-D warnings"
+          export RUSTDOCFLAGS="-D warnings"
+          cargo test --release --workspace
+      - name: Test translator
+        run: |
+          # `test_translator.py` compiles translated code,
+          # which has tons of warnings.
+          # `RUSTFLAGS="-D warnings"` would be inherited by that,
+          # causing tons of errors, so don't set that.
+          # `test_translator.py` does not rebuild,
+          # so changing `RUSTFLAGS` will not trigger a full rebuild.
+          ./scripts/test_translator.py tests/