Skip to content
Bot: Receive Pull Request

Replace svg diagrams with mermaid where possible. #17

Sign in to view logs

Replace svg diagrams with mermaid where possible.

Replace svg diagrams with mermaid where possible. #17

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

docker_pr_receive.yaml

on: pull_request
Check If We Need {renv}
13s
Check If We Need {renv}
Preflight: md-outputs exists?
7s
Preflight: md-outputs exists?
Record PR number
6s
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
Record PR number
The operation was canceled.
Bot: Receive Pull Request
Canceling since a higher priority waiting request for refs/pull/513/merge exists

Artifacts

Produced during runtime
Name Size Digest
pr
124 Bytes
sha256:66af48dc1ba0c96824cb6f693888532a5c33d4e5e1547c9377e2445ee7866f72