feat(v0-parameters): separate slower tests

This commit is contained in:
rudy
2022-07-11 16:05:27 +02:00
committed by rudy-6-4
parent ba15b8d8aa
commit fc402f2dec
6 changed files with 80 additions and 18 deletions

View File

@@ -2,7 +2,7 @@ name: Continuous integration - compiler
on:
push:
branches: [ main ]
branches: [ main, testci ]
pull_request:
env:

View File

@@ -0,0 +1,26 @@
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

View File

@@ -2,7 +2,7 @@ name: Continuous integration
on:
push:
branches: [ main ]
branches: [ main, testci ]
pull_request:
env:
@@ -13,22 +13,12 @@ jobs:
env:
RUSTFLAGS: -D warnings
steps:
- name: Code checkout
uses: actions/checkout@v3
- uses: actions/checkout@v3
- name: Rust install
uses: actions-rs/toolchain@v1
- name: "Setup"
uses: ./.github/workflows/setup
with:
toolchain: stable
- name: Download cargo cache
uses: Swatinem/rust-cache@v1
# A SSH private key is required as some dependencies are from private repos
- name: Set ssh keys
uses: webfactory/ssh-agent@v0.5.2
with:
ssh-private-key: ${{ secrets.CONCRETE_COMPILER_CI_SSH_PRIVATE }}
ssh_private_key: ${{ secrets.CONCRETE_COMPILER_CI_SSH_PRIVATE }}
- name: Formatting
run: cargo fmt --check

21
.github/workflows/setup/action.yml vendored Normal file
View File

@@ -0,0 +1,21 @@
inputs:
ssh_private_key:
description: 'A ssh key to access private github repository'
required: true
runs:
using: "composite"
steps:
- name: Rust install
uses: actions-rs/toolchain@v1
with:
toolchain: stable
- name: Download cargo cache
uses: Swatinem/rust-cache@v1
# A SSH private key is required as some dependencies are from private repos
- name: Set ssh keys
uses: webfactory/ssh-agent@v0.5.2
with:
ssh-private-key: ${{ inputs.ssh_private_key }}