.github/workflows/refman.yml

Attempt to build DafnyRef using Tectonic #67

Sign in to view logs

Triggered via push February 5, 2024 23:41

atomb

dafnyref-tectonic

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/refman.yml#L57

You have an error in your yaml syntax on line 57