chore(tests): merge back expensive tests to normal tests

This commit is contained in:
rudy
2022-10-10 15:20:58 +02:00
committed by rudy-6-4
parent a4a1f4b112
commit b5a269f0a2
2 changed files with 1 additions and 37 deletions

View File

@@ -1,26 +0,0 @@
name: Continuous integration - Extra tests
on:
push:
branches: [ main, testci ]
pull_request:
env:
CARGO_TERM_COLOR: always
jobs:
check-concrete-optimizer-expensive-tests:
runs-on: ubuntu-20.04
env:
RUSTFLAGS: -D warnings
steps:
- uses: actions/checkout@v3
- name: "Setup"
uses: ./.github/workflows/setup
with:
ssh_private_key: ${{ secrets.CONCRETE_COMPILER_CI_SSH_PRIVATE }}
- name: Tests
run: |
cd v0-parameters
cargo test --release --no-fail-fast --features=expensive_tests