diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml deleted file mode 100644 index 7eeb6ae..0000000 --- a/.github/workflows/rust.yml +++ /dev/null @@ -1,24 +0,0 @@ -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@v3 - - name: Init submodules - run: git submodule update --init - - name: Build interpreter - run: cd interpreter && cargo build --verbose; cd .. - - name: Run interpreter tests - run: cd interpreter && cargo test --verbose; cd ..