diff options
Diffstat (limited to 'third_party/rust/jsparagus/.github/workflows/rust.yml')
-rw-r--r-- | third_party/rust/jsparagus/.github/workflows/rust.yml | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/third_party/rust/jsparagus/.github/workflows/rust.yml b/third_party/rust/jsparagus/.github/workflows/rust.yml new file mode 100644 index 0000000000..3ecc7db649 --- /dev/null +++ b/third_party/rust/jsparagus/.github/workflows/rust.yml @@ -0,0 +1,24 @@ +name: Rust + +on: + pull_request: + types: [opened, synchronize, reopened] + push: + branches: + - master + +jobs: + build: + + runs-on: ubuntu-latest + + steps: + - uses: actions/checkout@v1 + - name: Setup Python + uses: actions/setup-python@v1 + with: + python-version: "3.7" + - name: Initialize repository + run: make init + - name: Build & Test + run: RUSTFLAGS="-D warnings" make check |