Generate a coverage report and publish it to GitHub pages

[NFC] Fix unused variable warning (#7877) #36

Sign in to view logs

Triggered via push November 6, 2025 17:03

main

Status Skipped

Total duration 1s

Artifacts –

coverage-gh-pages.yml

on: push