report coverage even when a verif job fails (#1645)

This commit is contained in:
Côme 2023-11-20 18:54:50 +01:00 committed by GitHub
parent b4e5c7fa6a
commit 77880fcbd3
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -334,6 +334,7 @@ riscv-tests-p:
- .regress_test
rules: &on_verif
- if: $CI_KIND == "verif"
allow_failure: true
- when: manual
allow_failure: true
timeout: 4h