Generate a coverage report and publish it to GitHub pages

Allow ignoring validation error #5

Sign in to view logs

Triggered via push November 19, 2025 11:34

SjMxr233

main

Status Skipped

Total duration 1s

Artifacts –

coverage-gh-pages.yml

on: push