Skip to content
TEI Guidelines Tests

Using XML utility, change header comments in every Source XML file. #1071

Sign in to view logs

Using XML utility, change header comments in every Source XML file.

Using XML utility, change header comments in every Source XML file. #1071

Triggered via push December 15, 2023 14:15
@sydbsydb
pushed b8d8ec9
sydb_2514_header_comments
Status Success
Total duration 2m 58s
Artifacts –

test.yml

on: push
Run the Guidelines tests against the Stylesheets' dev version
2m 47s
Run the Guidelines tests against the Stylesheets' dev version
Fit to window
Zoom out
Zoom in