Skip to content

(just_used) rewarding to implication clauses in sandbox conflicts #2327

(just_used) rewarding to implication clauses in sandbox conflicts

(just_used) rewarding to implication clauses in sandbox conflicts #2327

Workflow file for this run

name: Rust
on: [push]
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v1
- name: Prepare
run: rustup update
- name: Build executables
run: cargo build --verbose
- name: Build library
run: cargo build --lib --verbose
- name: Run tests
run: cargo test --verbose