Skip to content

Switch from Bors-NG to GitHub merge queues #388

Switch from Bors-NG to GitHub merge queues

Switch from Bors-NG to GitHub merge queues #388

Triggered via pull request December 13, 2023 02:16
Status Startup failure
Total duration
Artifacts

pr.yaml

on: pull_request
Check (1.63.0)
Check (1.63.0)
Format
Format
Test (stable)
Test (stable)
Complete
Complete
Fit to window
Zoom out
Zoom in

Annotations

1 error
Invalid workflow file: .github/workflows/pr.yaml#L41
The workflow is not valid. .github/workflows/pr.yaml (Line: 41, Col: 5): Required property is missing: runs-on