WIP: Move CI from Azure Pipelines to GitHub Actions

This simplifies the CI setup substantially.

Fixes: #1226

Author: joshtriplett

.github/workflows/ci.yml

@@ -0,0 +1,115 @@
+name: ci
+
+on:
+  push:
+    branches: [ master ]
+  pull_request:
+
+jobs:
+  test-linux:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - 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 \
+            clang-tools \
+            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 \
+            llvm-dev \
+            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/
+
+  test-mac:
+    runs-on: macos-14
+    steps:
+      - uses: actions/checkout@v4
+      - run: rustup component add rustfmt rustc-dev
+      # Needs adding to the safelist for c2rust GitHub Actions
+      #- uses: Swatinem/rust-cache@v2
+      - name: Provision macOS
+        run: |
+          ./scripts/provision_mac.sh
+          # speeds up provisioning
+          export HOMEBREW_NO_AUTO_UPDATE=1
+          # prepare environment for the following steps
+          source $HOME/.cargo/env
+          # print some useful info to help troubleshoot
+          brew info llvm@17
+          which python3
+          /usr/bin/env python3 -c "import sys; print(sys.path)"
+
+      - name: cargo build --release
+        run: |
+          export LLVM_CONFIG_PATH=$(brew --prefix llvm@17)/bin/llvm-config
+          export RUSTFLAGS="-D warnings"
+          export RUSTDOCFLAGS="-D warnings"
+          # Don't build with `--all-features` (see analogous step for Linux).
+          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: |
+          # `RUSTFLAGS` not set (see analogous step for Linux).
+          ./scripts/test_translator.py tests/

azure-pipelines.yml

@@ -23,8 +23,8 @@ export HOMEBREW_NO_AUTO_UPDATE=1
 brew install -q python cmake ninja gpg llvm@17 bash
 
 # Python 3 packages
-python3 -m pip install --user --upgrade pip
-python3 -m pip install --user -r "$SCRIPT_DIR/requirements.txt"
+python3 -m pip install --break-system-packages --user --upgrade pip
+python3 -m pip install --break-system-packages --user -r "$SCRIPT_DIR/requirements.txt"
 
 # Rust and dependencies
 RUST_TOOLCHAIN_FILE="$SCRIPT_DIR/../rust-toolchain.toml"