Migrate modified Rust standard libraries from crucible to mir-json
#24
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 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 }}" | |
| - run: cargo test --locked | |
| - name: Install mir-json binaries | |
| run: cargo install --locked | |
| - name: Translate modified Rust standard libraries | |
| run: ./translate_libs.sh | |
| # 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 |