Skip to content

replace bors with merge queue #72

replace bors with merge queue

replace bors with merge queue #72

Triggered via push July 9, 2023 15:34
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.yml#L1
No steps defined in `steps` and no workflow called in `uses` for the following jobs: check