Skip to content
Build and Test Nova

Update Neptune & simplify SatisfyingAssignment (Arecibo backport) #727

Sign in to view logs

Update Neptune & simplify SatisfyingAssignment (Arecibo backport)

Update Neptune & simplify SatisfyingAssignment (Arecibo backport) #727

Workflow file for this run

.github/workflows/rust.yml at 6ca89d3
name: Build and Test Nova
on:
push:
branches: [ main ]
pull_request:
branches: [ main ]
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: Build
uses: actions-rs/toolchain@v1
with:
toolchain: stable
- uses: actions-rs/cargo@v1
with:
command: build
args: --examples --benches --verbose
build-wasm:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: Wasm build
uses: actions-rs/toolchain@v1
with:
toolchain: stable
target: wasm32-unknown-unknown
- uses: actions-rs/cargo@v1
with:
command: build
args: --target wasm32-unknown-unknown
test:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: Run tests
uses: actions-rs/toolchain@v1
with:
toolchain: stable
- uses: actions-rs/cargo@v1
with:
command: test
args: --release --verbose
fmt:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: Check Rustfmt Code Style
uses: actions-rs/toolchain@v1
with:
toolchain: stable
components: rustfmt
- uses: actions-rs/cargo@v1
with:
command: fmt
args: --all -- --check
clippy:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: Check clippy warnings
uses: actions-rs/toolchain@v1
with:
toolchain: stable
components: clippy
- uses: actions-rs/cargo@v1
with:
command: clippy
args: --all-targets -- -D warnings