Skip to content

Remove bors and use GitHub merge queue #2693

Remove bors and use GitHub merge queue

Remove bors and use GitHub merge queue #2693

Triggered via pull request December 1, 2025 16:29
Status Success
Total duration 58s
Artifacts

tests.yml

on: pull_request
integration-and-unit-tests
54s
integration-and-unit-tests
linter
32s
linter
Fit to window
Zoom out
Zoom in