Skip to content

Exclude Bison-generated files from coverage report, and use dark theme #2269

Exclude Bison-generated files from coverage report, and use dark theme

Exclude Bison-generated files from coverage report, and use dark theme #2269

Triggered via pull request July 12, 2025 14:02
Status Success
Total duration 8s
Artifacts

checkdiff.yml

on: pull_request
checkdiff
4s
checkdiff
Fit to window
Zoom out
Zoom in