Generate coverage report

Merge pull request #732 from zwicker-group/key_retrieval #1916

Sign in to view logs

Triggered via push November 27, 2025 15:33

master

Status Success

Total duration 3m 31s

Artifacts –

coverage_report.yml

on: push

coverage_report