Initial CI build #12
Workflow file for this run
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 | |
| # The NAME makes it easier to copy/paste snippets from other CI configs | |
| NAME: mir-json | |
| 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 | |
| - name: Upload binary | |
| uses: actions/upload-artifact@v4 | |
| if: github.event.pull_request.head.repo.fork == false && github.repository_owner == 'GaloisInc' | |
| with: | |
| name: "${{ env.NAME }}" | |
| path: "target/release/${{ env.NAME }}" | |
| if-no-files-found: error |