Skip to content
Bot: Receive Pull Request

Replace svg diagrams with mermaid where possible. #16

Sign in to view logs

Replace svg diagrams with mermaid where possible.

Replace svg diagrams with mermaid where possible. #16

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

docker_pr_receive.yaml

on: pull_request
Check If We Need {renv}
9s
Check If We Need {renv}
Preflight: md-outputs exists?
7s
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

3 errors
Record PR number
Canceling since a higher priority waiting request for refs/pull/513/merge exists
Check If We Need {renv}
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