Extract & Check proofs

Revert "tests, temp. disabling other workflows" #85

Sign in to view logs

Triggered via push July 26, 2024 09:04

tfaoliveira

feature/testing

Status Success

Total duration 2h 21m 33s

Artifacts –

extract-and-prove.yml

on: push