Skip to content

Changes GIPS Festschrift 2024 paper URL from DOI to Springer #32

Changes GIPS Festschrift 2024 paper URL from DOI to Springer

Changes GIPS Festschrift 2024 paper URL from DOI to Springer #32

Triggered via push September 21, 2024 12:18
Status Success
Total duration 56s
Artifacts 2

ci.yml

on: push
hugo-build
20s
hugo-build
check-urls-prod
18s
check-urls-prod
deploy-prod
0s
deploy-prod
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
public-draft
250 KB
public-prod
250 KB