Skip to content

Remove obsolete CircleCI badge. #506

Remove obsolete CircleCI badge.

Remove obsolete CircleCI badge. #506

Triggered via pull request July 26, 2024 05:06
Status Success
Total duration 6m 52s
Artifacts

ci.yml

on: pull_request
Check GitHub Organization
0s
Check GitHub Organization
Matrix: ci
Fit to window
Zoom out
Zoom in