ci.yml

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
          ./prove_stdio.sh artifacts/witness_b19240705.json

  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
          ./prove_stdio.sh artifacts/witness_b19240705.json test_only

  multi_blocks_proof_regular:
    name: Execute bash script to generate and verify a proof for multiple blocks using parallel proving.
    runs-on: zero-ci

    steps:
      - name: Checkout code
        uses: actions/checkout@v3

      - name: Run the script
        run: |
          pushd tools
          ./prove_stdio.sh artifacts/witness_b2_b7.json