Skip to content
CI pipeline

Merge pull request #182 : Provide redirect for deleted pages #86

Sign in to view logs

Merge pull request #182 : Provide redirect for deleted pages

Merge pull request #182 : Provide redirect for deleted pages #86

Triggered via push January 11, 2026 14:23
@jgadsdenjgadsden
pushed 23672a8
main
Status Success
Total duration 3m 36s
Artifacts 4

ci.yaml

on: push
Lint web doc
5s
Lint web doc
Check spelling
1m 7s
Check spelling
Link checker
33s
Link checker
Deploy web doc
28s
Deploy web doc
Export PDFs
2m 22s
Export PDFs
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
pdf-export-en Expired
7.5 MB
sha256:faef9f51d2fa4001c0b918cede2483f6fa204db087a4d5a27ddafd701d483b42
pdf-export-es Expired
7.41 MB
sha256:f743005cc25e17ddf3217e6696cfdd45b2ed3e5997e4e7c0593e664d7255f9fe
pdf-export-fa Expired
7.09 MB
sha256:0e012334db0824503a017db6d4d464e5109c85ddca1fb5311fe617947497f9ae
pdf-export-pt-br Expired
7.51 MB
sha256:23aec8441013fe7d159ffc9b8a12baa5871d8dc5eaf74c6373a774c2c91e6036