Skip to content

Merge branch 'release' into dev #380

Merge branch 'release' into dev

Merge branch 'release' into dev #380

Workflow file for this run

name: Github
on: [push]
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v1
- name: Build
run: cargo build --verbose
- name: Run tests
run: cargo test --verbose