Check Proofs

move extract into its own file #178

Sign in to view logs

Triggered via push December 22, 2025 12:12

main

Status Success

Total duration 2m 32s

Artifacts –

build.yml

on: push