Skip to content
CI (unit tests)

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

Sign in to view logs

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 #1271

Triggered via pull request December 2, 2023 11:46
@DilumAluthgeDilumAluthge
synchronize #477
dpa/merge-queue
Status Success
Total duration 3m 59s
Artifacts –

ci_unit.yml

on: pull_request
Documentation
1m 52s
Documentation
Doctests
1m 48s
Doctests
Matrix: unit
Fit to window
Zoom out
Zoom in