Merge branch 'master' of github.com:gnxlxnxx/dubins_path

master
Roman Kretschmer 6 years ago
commit 924ac0971c

@ -0,0 +1,22 @@
name: Rust
on:
push:
branches: [ master ]
pull_request:
branches: [ master ]
env:
CARGO_TERM_COLOR: always
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: Build
run: cargo build --verbose
- name: Run tests
run: cargo test --verbose
Loading…
Cancel
Save