Generate a coverage report and publish it to GitHub pages

Update 1.8.2502 release notes (#7147) #3

Sign in to view logs

Summary
Jobs
- build
- deploy
Run details
- Usage
- Workflow file

Triggered via push July 24, 2025 00:06

SjMxr233

main

Status Skipped

Total duration 2s

Artifacts –

coverage-gh-pages.yml

on: push