diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 5075a8d7..c69e5528 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -3,7 +3,7 @@ on: [push, pull_request] jobs: test: - runs-on: ubuntu-20.04 + runs-on: ubuntu-latest steps: - uses: actions/checkout@v2 - name: Cache cargo bin @@ -16,7 +16,7 @@ jobs: - name: Test run: make test nits: - runs-on: ubuntu-20.04 + runs-on: ubuntu-latest steps: - uses: actions/checkout@v2 - name: Install cargo deadlinks @@ -25,4 +25,4 @@ jobs: chmod +x ~/.cargo/bin/cargo-deadlinks cargo deadlinks --version - name: Nits - run: make nits \ No newline at end of file + run: make nits diff --git a/Makefile b/Makefile index 229977bf..321708cf 100644 --- a/Makefile +++ b/Makefile @@ -2,6 +2,7 @@ all: test nits .PHONY: test test: + rustup update cargo test --release cargo test --release --features=lp # don't run examples in proof-production mode @@ -10,6 +11,7 @@ test: .PHONY: nits nits: + rustup update rustup component add rustfmt clippy cargo fmt -- --check cargo clean --doc @@ -23,4 +25,4 @@ nits: .PHONY: docs docs: - RUSTDOCFLAGS="--cfg docsrs" cargo +nightly doc --all-features --open \ No newline at end of file + RUSTDOCFLAGS="--cfg docsrs" cargo +nightly doc --all-features --open diff --git a/rust-toolchain b/rust-toolchain deleted file mode 100644 index 64d00e7d..00000000 --- a/rust-toolchain +++ /dev/null @@ -1 +0,0 @@ -1.60