Skip to content

update the github url #4

update the github url

update the github url #4

Workflow file for this run

name: Test prover core
on:
push:
branches: [ "main" ]
pull_request:
branches: [ "main" ]
env:
CARGO_TERM_COLOR: always
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Run tests
run: cargo test --verbose --manifest-path fitch-proof/Cargo.toml