Skip to content
Bot: Receive Pull Request

Replace svg diagrams with mermaid where possible. #18

Sign in to view logs

Replace svg diagrams with mermaid where possible.

Replace svg diagrams with mermaid where possible. #18

Triggered via pull request February 24, 2026 09:30
@anenadicanenadic
synchronize #513
switch-to-mermaid
Status Cancelled
Total duration 12s
Artifacts –

docker_pr_receive.yaml

on: pull_request
Check If We Need {renv}
5s
Check If We Need {renv}
Preflight: md-outputs exists?
6s
Preflight: md-outputs exists?
Record PR number
0s
Record PR number
Build markdown source files if valid
0s
Build markdown source files if valid
Fit to window
Zoom out
Zoom in

Annotations

4 errors
Check If We Need {renv}
Canceling since a higher priority waiting request for refs/pull/513/merge exists
Check If We Need {renv}
The operation was canceled.
Preflight: md-outputs exists?
Canceling since a higher priority waiting request for refs/pull/513/merge exists
Bot: Receive Pull Request
Canceling since a higher priority waiting request for refs/pull/513/merge exists