Skip to content
CI pipeline

Merge pull request #178 : update workflow dependencies #85

Sign in to view logs

Merge pull request #178 : update workflow dependencies

Merge pull request #178 : update workflow dependencies #85

Triggered via push January 2, 2026 14:26
@jgadsdenjgadsden
pushed 5903854
main
Status Success
Total duration 3m 57s
Artifacts 4

ci.yaml

on: push
Lint web doc
6s
Lint web doc
Check spelling
1m 17s
Check spelling
Link checker
1m 2s
Link checker
Deploy web doc
34s
Deploy web doc
Export PDFs
2m 31s
Export PDFs
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
pdf-export-en Expired
7.5 MB
sha256:8007d9abd6352eeab41842b690141cf0c98fb94cb5a2dd281979df66b7746b33
pdf-export-es Expired
7.41 MB
sha256:e896b9403eadc6e1dbe2749a38debd7a86f830ede6f62de197c873c2dbf91c6b
pdf-export-fa Expired
7.09 MB
sha256:a1842aa1b3a7678d181e70f5d3b66906b771b0daf4a8ea49da508c09287e10a4
pdf-export-pt-br Expired
7.51 MB
sha256:a553c499425cbe0f0cdb3a5a391438667d5e9995b0a7d495de9a51cc9eb978cb