Skip to content

ci: migrate from CircleCI to GitHub Actions #34

ci: migrate from CircleCI to GitHub Actions

ci: migrate from CircleCI to GitHub Actions #34

Triggered via pull request April 24, 2026 19:42
Status Cancelled
Total duration 2m 29s
Artifacts

docs.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

3 errors
Docs
Canceling since a higher priority waiting request for Docs-refs/pull/6753/merge exists
check-docs
Canceling since a higher priority waiting request for Docs-refs/pull/6753/merge exists
check-docs
The operation was canceled.