Cut rule proved #15

Sign in to view logs

Triggered via push July 7, 2024 13:09

hferee

cut

Status Failure

Total duration 5m 43s

Artifacts –

build_docs.yml

on: push

Annotations

1 error

Build docs: theories/iSL/Simp.v#L323

Tactic failure: Cannot find witness.