Skip to content

fix: check proof semantics during verification #7

fix: check proof semantics during verification

fix: check proof semantics during verification #7

Triggered via pull request January 5, 2024 21:27
Status Success
Total duration 1m 11s
Artifacts

ci.yml

on: pull_request
Fit to window
Zoom out
Zoom in