Skip to content
This repository has been archived by the owner on Jun 20, 2024. It is now read-only.

fix: discard intermediate proofs #307

fix: discard intermediate proofs

fix: discard intermediate proofs #307

Workflow file for this run

name: Continuous Integration
on:
push:
branches:
- main
pull_request:
types: [opened, synchronize, reopened, ready_for_review]
branches:
- "**"
workflow_dispatch:
branches:
- "**"
concurrency:
group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
cancel-in-progress: true
env:
CARGO_TERM_COLOR: always
jobs:
test:
name: Run tests
runs-on: ubuntu-latest
timeout-minutes: 30
if: "! contains(toJSON(github.event.commits.*.message), '[skip-ci]')"
steps:
- name: Checkout sources
uses: actions/checkout@v4
- name: Install nightly toolchain
uses: dtolnay/rust-toolchain@nightly
- name: Set up rust cache
uses: Swatinem/rust-cache@v2
with:
cache-on-failure: true
- name: Test
run: cargo test
lints:
name: Formatting and Clippy
runs-on: ubuntu-latest
timeout-minutes: 10
if: "! contains(toJSON(github.event.commits.*.message), '[skip-ci]')"
steps:
- name: Checkout sources
uses: actions/checkout@v4
- name: Install nightly toolchain
uses: dtolnay/rust-toolchain@nightly
with:
components: rustfmt, clippy
- name: Set up rust cache
uses: Swatinem/rust-cache@v2
with:
cache-on-failure: true
- name: Run cargo fmt
run: cargo fmt --all --check
- name: Run cargo clippy
run: cargo clippy --all-targets -- -D warnings
simple_proof_regular:
name: Execute bash script to generate and verify a proof for a small block.
runs-on: zero-ci
steps:
- name: Checkout code
uses: actions/checkout@v3
- name: Run the script
run: |
pushd tools
./simple_test.sh
simple_proof_witness_only:
name: Execute bash script to generate the proof witness for a small block.
runs-on: zero-ci
steps:
- name: Checkout code
uses: actions/checkout@v3
- name: Run the script
run: |
pushd tools
./simple_test.sh test_only