Skip to content
This repository has been archived by the owner on Mar 23, 2024. It is now read-only.

Leader/follower functionality - Observer #159

Leader/follower functionality - Observer

Leader/follower functionality - Observer #159

Workflow file for this run

name: Rust
on:
push:
branches: ['main']
pull_request:
branches: ['main']
env:
CARGO_TERM_COLOR: always
jobs:
test:
name: 'Test & Clippy'
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Clippy
run: |
rustup component add clippy
cargo clippy -- -D warnings
- name: Test
run: cargo test --verbose
miri:
name: 'Miri'
needs: test
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Install Miri
run: |
rustup toolchain install nightly --component miri
rustup override set nightly
cargo miri setup
- name: Test with Miri
run: cargo miri test
build:
name: 'Build'
needs: [test, miri]
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Build
run: cargo build --verbose