Skip to content

Add genphdfiles.php: generate PhD auxiliary files from doc-base #378

Add genphdfiles.php: generate PhD auxiliary files from doc-base

Add genphdfiles.php: generate PhD auxiliary files from doc-base #378

Triggered via pull request July 8, 2026 10:12
Status Success
Total duration 23s
Artifacts

test.yml

on: pull_request
Matrix: test
Fit to window
Zoom out
Zoom in