Skip to content

Switch from Bors-NG to GitHub merge queues #141

Switch from Bors-NG to GitHub merge queues

Switch from Bors-NG to GitHub merge queues #141

Triggered via push December 13, 2023 02:14
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/ci.yaml#L1
No steps defined in `steps` and no workflow called in `uses` for the following jobs: done