Skip to content

Merge branch 'main' of github.com:nrybowski/DUNE #57

Merge branch 'main' of github.com:nrybowski/DUNE

Merge branch 'main' of github.com:nrybowski/DUNE #57

Workflow file for this run

name: Tests
on:
push:
branches: [ "main" ]
pull_request:
branches: [ "main" ]
env:
CARGO_TERM_COLOR: always
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
# - uses: dtolnay/rust-toolchain@nightly
- name: Set toolchain version
run: rustup override set 1.88
- name: Build crate
run: cargo build
- name: Run tests
run: cargo test -p dune-core -p dune-cli -p dune-mpf