Skip to content

Fix coverage report workflow#1086

Merged
josecelano merged 2 commits intotorrust:developfrom
josecelano:1075-error-unknown-unstable-option-profile-running-coverage-report-workflow
Nov 15, 2024
Merged

Fix coverage report workflow#1086
josecelano merged 2 commits intotorrust:developfrom
josecelano:1075-error-unknown-unstable-option-profile-running-coverage-report-workflow

Commits

Commits on Nov 15, 2024