Skip to content
Generate HTML pages

Update section data and filter out index entries; update papers #932

Sign in to view logs

Update section data and filter out index entries; update papers

Update section data and filter out index entries; update papers #932

Triggered via push July 25, 2025 08:25
@jwakelyjwakely
pushed 7d9a16b
master
Status Success
Total duration 58s
Artifacts –

deploy.yml

on: push
update-html-pages
55s
update-html-pages
Fit to window
Zoom out
Zoom in