Skip to content

Add coverage report for push event#1088

Merged
josecelano merged 1 commit intotorrust:developfrom josecelano:1075-error-unknown-unstable-option-profile-running-coverage-report-workflowNov 15, 2024

Commits

Commits on Nov 15, 2024