Skip to content

Merge branch 'main' into oldyears #270

Merge branch 'main' into oldyears

Merge branch 'main' into oldyears #270

Triggered via push August 3, 2024 19:37
Status Failure
Total duration 8m 0s
Artifacts 2

CI.yml

on: push
build-pdf
7m 50s
build-pdf
build-html
5m 8s
build-html
build-html-translation
5m 10s
build-html-translation
link-check-diff
4m 28s
link-check-diff
check-linting
51s
check-linting
check-image-size
42s
check-image-size
check-spelling
18s
check-spelling
check-redirects
49s
check-redirects
check-formatting
44s
check-formatting
Fit to window
Zoom out
Zoom in

Annotations

2 errors
check-redirects
Process completed with exit code 2.
link-check-diff
Process completed with exit code 2.

Artifacts

Produced during runtime
Name Size
frc-docs-html Expired
255 MB
frc-docs-pdf Expired
79.3 MB