Coverage

Fix #13633 (safety: the xml version 3 report should show safety properties) #16980

Triggered via pull request February 23, 2025 14:10

danmar

synchronize #7298

Status Success

Total duration 27m 36s

Artifacts 1

coverage.yml

on: pull_request

Produced during runtime

Name	Size
Coverage results	7.23 MB