Merge branch 'cut' #17

Sign in to view logs

Triggered via push July 7, 2024 13:32

hferee

main

Status Failure

Total duration 5m 35s

Artifacts –

build_docs.yml

on: push

Annotations

1 error

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

Tactic failure: Cannot find witness.