ci: don't red-fail main when coverage-badge gist push fails#76
Open
JordanCoin wants to merge 1 commit into
Open
ci: don't red-fail main when coverage-badge gist push fails#76JordanCoin wants to merge 1 commit into
JordanCoin wants to merge 1 commit into