Skip to content
check result.html

Fix comments not pushed from David R. #20

Sign in to view logs

Fix comments not pushed from David R.

Fix comments not pushed from David R. #20

Triggered via pull request July 28, 2023 15:09
@edcdavidedcdavid
opened #12
edcdavid:fix-comments-not-pushed
Status Success
Total duration 1m 10s
Artifacts –

checkbuild.yml

on: pull_request
check if result.html is up to date with index.html
1m 1s
check if result.html is up to date with index.html
Fit to window
Zoom out
Zoom in