Extract & Check proofs

remove [nosmt] tags + fix proofs #67

Sign in to view logs

Triggered via push July 21, 2024 11:19

strub

fix-proofs

Status Success

Total duration 2h 24m 37s

Artifacts –

extract-and-prove.yml

on: push