Merge pull request #5847 from mermaid-js/develop · mermaid-js/mermaid@797d72b

Triggered via push September 9, 2024 13:57

master

Status Cancelled

Total duration 2m 38s

Artifacts 1

publish-docs.yml

on: push

1 error

Canceling since a higher priority waiting request for 'pages' exists

Produced during runtime

Name	Size
github-pages Expired	14.9 MB