.github/workflows/Lean_decl_diff.yaml

separate action #1

Sign in to view logs

Triggered via push June 22, 2024 20:06

adomani

adomani/decl_diff_in_lean

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/Lean_decl_diff.yaml#L1

`Lean_decl_diff` is not a valid event name