-
Jeroen Van Goey authored
* docs:a dd coverage badge * docs: test adding coverage badge on non-main branch * docs: Run documentation workflow only after coverage badge update * docs: detect coverage badge changes in correct place * ci: add empty coverage badge to workflow to trigger commit * ci: whitelist docs/assets in .gitignore * ci: force add coverage badge * chore: update coverage badge [skip ci] * chore: update coverage badge [skip ci] * ci: try to fix triggering workflow * docs: trigger workflow on main --------- Co-authored-by:
github-actions[bot] <github-actions[bot]@users.noreply.github.com>