Skip to content
Documenter

fix: Add conversion from repo to string #2

Sign in to view logs

fix: Add conversion from repo to string

fix: Add conversion from repo to string #2

Triggered via push September 24, 2025 09:31
@VaclavMachaVaclavMacha
pushed 13ff78d
2025W
Status Failure
Total duration 2m 23s
Artifacts –

Documenter.yml

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

Annotations

1 error and 4 warnings
build
Process completed with exit code 1.
build: ../../../.julia/packages/DocumenterVitepress/qYNx9/src/vitepress_config.jl#L146
DocumenterVitepress: No favicon.ico file found in `docs/src/assets`. Skipping favicon replacement.
build: ../../../.julia/packages/DocumenterVitepress/qYNx9/src/vitepress_config.jl#L135
DocumenterVitepress: No logo.png file found in `docs/src/assets`. Skipping logo replacement.
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`.