.github/workflows/proof_html.yml

revert: previous commit #4

Sign in to view logs

Triggered via push December 14, 2023 22:02

main

Status Failure

Total duration –

Artifacts –

This workflow graph cannot be shown

A graph will be generated the next time this workflow is run.

Annotations

1 error

Invalid workflow file: .github/workflows/proof_html.yml#L14

invalid value workflow reference: references to workflows must be rooted in '.github/workflows'