Skip to content
CI (integration tests)

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

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

Triggered via pull request December 2, 2023 14:53
@DilumAluthgeDilumAluthge
synchronize #477
dpa/merge-queue
Status Success
Total duration 13m 57s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci_integration.yml

on: pull_request
Integration
13m 48s
Integration
Fit to window
Zoom out
Zoom in