Skip to content
Documenter

fix: Fix logo and favicon #5

Sign in to view logs

fix: Fix logo and favicon

fix: Fix logo and favicon #5

Triggered via push September 24, 2025 10:32
@VaclavMachaVaclavMacha
pushed 91747cb
2025W
Status Success
Total duration 2m 29s
Artifacts –

Documenter.yml

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

Annotations

2 warnings
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`.