Skip to content

Merge pull request #1 from mermaid-js/develop #1880

Merge pull request #1 from mermaid-js/develop

Merge pull request #1 from mermaid-js/develop #1880

Triggered via pull request October 19, 2023 22:15
Status Success
Total duration 16s
Artifacts

pr-labeler.yml

on: pull_request_target
pr-labeler
4s
pr-labeler
Fit to window
Zoom out
Zoom in