Skip to content
.github/workflows/pull.yml

test: restore CODEOWNERS and daily CI #1

Sign in to view logs

test: restore CODEOWNERS and daily CI

test: restore CODEOWNERS and daily CI #1

Triggered via pull request November 27, 2023 23:20
@texastonytexastony
#624
tony/chore-code-owner
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/pull.yml#L9
error parsing called workflow ".github/workflows/pull.yml" -> "./.github/workflows/library_dafny_format.yml" : failed to fetch workflow: workflow was not found.