Skip to content

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

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

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

Triggered via pull request July 8, 2026 14:24
Status Success
Total duration 15s
Artifacts –

ci.yml

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