Feature/7078 Allow decimal sequence numbers · mermaid-js/mermaid@f979deb

Triggered via pull request November 18, 2025 16:48

synchronize #7132

Status Success

Total duration 13s

Artifacts –

pr-labeler.yml

on: pull_request_target

4 warnings

"pull_request_target.edited" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)

"pull_request_target.synchronize" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)

"pull_request_target.reopened" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)

"pull_request_target.opened" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)