Skip to content

CI: migrate from Bors to GitHub Merge Queue; also, refactor some code, and add some more unit tests #1273

CI: migrate from Bors to GitHub Merge Queue; also, refactor some code, and add some more unit tests

CI: migrate from Bors to GitHub Merge Queue; also, refactor some code, and add some more unit tests #1273

Triggered via pull request December 2, 2023 13:30
Status Success
Total duration 3m 32s
Artifacts

ci_unit.yml

on: pull_request
Matrix: unit
Fit to window
Zoom out
Zoom in