Skip to content

build(deps): bump JamesIves/github-pages-deploy-action (#197) #436

build(deps): bump JamesIves/github-pages-deploy-action (#197)

build(deps): bump JamesIves/github-pages-deploy-action (#197) #436

Workflow file for this run

on:
push:
branches:
- master
pull_request:
branches:
- master
name: ci
jobs:
check:
runs-on: ubuntu-latest
steps:
- name: Ubuntu Dependencies
run: |
sudo apt-get update
sudo apt-get install binutils-dev libunwind-dev
- uses: actions-rs/toolchain@v1.0.7
id: toolchain
with:
toolchain: stable
profile: minimal
override: true
components: rustfmt, clippy
- uses: actions/checkout@v4.1.0
- name: Override bin
working-directory: bin
run: rustup override set stable
- name: Override lib
working-directory: lib
run: rustup override set stable
- name: Format xtask
run: cargo fmt --all -- --check
- name: Format bin
working-directory: bin
run: cargo fmt --all -- --check
- name: Format lib
working-directory: lib
run: cargo fmt --all -- --check
- name: Clippy xtask
run: cargo clippy -- -D warnings
- name: Clippy bin
working-directory: bin
run: cargo clippy -- -D warnings
- name: Clippy lib
working-directory: lib
run: cargo clippy -- -D warnings
test:
runs-on: ${{ matrix.os }}
strategy:
fail-fast: false
matrix:
rust: [1.57.0, stable, nightly]
os: [ubuntu-latest, macOS-latest]
steps:
- name: Ubuntu setup
if: matrix.os == 'ubuntu-latest'
run: |
sudo apt-get update
sudo apt-get install binutils-dev libunwind-dev
echo 'core' | sudo tee /proc/sys/kernel/core_pattern
- name: macOS setup
if: matrix.os == 'macOS-latest'
run: |
export SL=/System/Library
export PL=com.apple.ReportCrash
launchctl unload -w ${SL}/LaunchAgents/${PL}.plist
sudo launchctl unload -w ${SL}/LaunchDaemons/${PL}.Root.plist
- uses: actions/checkout@v4.1.0
# install stable for kani, cargo-bolero and test runner
- uses: actions-rs/toolchain@v1.0.7
with:
toolchain: stable
profile: minimal
- name: Install kani
run: |
cargo install --locked kani-verifier
cargo kani setup
- uses: actions-rs/toolchain@v1.0.7
with:
toolchain: ${{ matrix.rust }}
profile: minimal
- uses: camshaft/rust-cache@v1
with:
# kani isn't compatible with sccache
wrapper: false
- name: Run tests
run: cargo +stable run
env:
BOLERO_RUSTUP_TOOLCHAIN: "${{ matrix.rust }}"
kani:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4.1.0
- uses: actions-rs/toolchain@v1.0.7
id: toolchain
with:
toolchain: stable
profile: minimal
override: true
- name: Kani run
uses: model-checking/kani-github-action@v1.0
with:
working-directory: examples/basic
args: --tests
# run integration tests with our main consumers
integration:
runs-on: ubuntu-latest
strategy:
matrix:
repo: ["aws/s2n-quic"]
steps:
- uses: actions/checkout@v4.1.0
- uses: actions/checkout@v4.1.0
with:
repository: ${{ matrix.repo }}
path: "target/integration/${{ matrix.repo }}"
- uses: actions-rs/toolchain@v1.0.7
id: toolchain
with:
toolchain: stable
profile: minimal
override: true
- name: Add patch
working-directory: target/integration/${{ matrix.repo }}
# TODO move this into a script: https://github.com/camshaft/bolero/issues/132
run: |
cat <<EOF >> Cargo.toml
[patch.crates-io]
bolero = { path = "../../../../lib/bolero" }
bolero-engine = { path = "../../../../lib/bolero-engine" }
bolero-generator = { path = "../../../../lib/bolero-generator" }
bolero-generator-derive = { path = "../../../../lib/bolero-generator-derive" }
EOF
- uses: camshaft/rust-cache@v1
with:
key: ${{ matrix.repo }}
- name: Build
working-directory: target/integration/${{ matrix.repo }}
run: cargo build --tests
- name: Tests
working-directory: target/integration/${{ matrix.repo }}
run: cargo test