Skip to content

ci: do not run report job when workflow is cancelled#187

Merged
eduardosm merged 1 commit intomainfrom ci-report-not-cancelledNov 4, 2024

Commits

Commits on Nov 4, 2024