mirror of
https://github.com/mermaid-js/mermaid.git
synced 2025-01-14 06:43:25 +08:00
4d0c461fa3
pushes to non-develop branches will not send coverage reports. This might reduce the coverage variability issue we're having.