Skip to content

Merge branch 'main' into stake-msg #485

Merge branch 'main' into stake-msg

Merge branch 'main' into stake-msg #485

Workflow file for this run

name: Prover
# on:
# push:
# branches:
# - main
# paths:
# - "prover/**"
# - ".github/workflows/prover.yaml"
# pull_request:
# paths:
# - "prover/**"
# - ".github/workflows/prover.yaml"
#
# defaults:
# run:
# working-directory: "prover"
#
# jobs:
# check:
# runs-on: ubuntu-22.04
# steps:
# - uses: actions/checkout@v3
# - name: Run build
# run: make build-prover