Skip to content
Documenter

fix: Add missing logo and favicon #4

Sign in to view logs

fix: Add missing logo and favicon

fix: Add missing logo and favicon #4

Triggered via push September 24, 2025 10:03
@VaclavMachaVaclavMacha
pushed d7e5dd2
2025W
Status Failure
Total duration 2m 22s
Artifacts –

Documenter.yml

on: push
build
2m 18s
build
Fit to window
Zoom out
Zoom in

Annotations

1 error and 2 warnings
build
Process completed with exit code 1.
build: ../../../.julia/packages/Documenter/eoWm2/src/utilities/utilities.jl#L49
Cannot resolve @ref for md"[later](@ref type_system)" in docs/src/lectures/lecture_01/lab.md. - No docstring found in doc for binding `Main.type_system`.
build: ../../../.julia/packages/Documenter/eoWm2/src/utilities/utilities.jl#L49
Cannot resolve @ref for md"[type system lecture](@ref type_system)" in docs/src/lectures/lecture_01/lab.md. - No docstring found in doc for binding `Main.type_system`.