Skip to content

Disable codecov if PR head and base are different or CODECOV_TOKEN not set#174

Merged
AndreasLrx merged 1 commit intomainfrom fix/169-codecov-from-forkOct 18, 2024

Commits

Commits on Oct 18, 2024