Skip to content

Remove bors and use GitHub merge queue #923

Remove bors and use GitHub merge queue

Remove bors and use GitHub merge queue #923

Triggered via pull request December 1, 2025 17:31
Status Failure
Total duration 5s
Artifacts

tests.yml

on: pull_request
linter
linter
image-build
image-build
Matrix: integration-tests
Matrix: unit-tests
Fit to window
Zoom out
Zoom in