Fix formatting of filters #379
Triggered via pull request
November 14, 2024 03:25
mkitti
Status
Success
Total duration
10m 24s
Artifacts
–
Annotations
3 warnings and 1 notice
|
docs:
../../../.julia/packages/Documenter/Bs999/src/html/HTMLWriter.jl#L1865
Generated HTML over size_threshold_warn limit: interface/filters.md
Generated file size: 110.12 (KiB)
size_threshold_warn: 100.0 (KiB)
size_threshold: 200.0 (KiB)
HTML file: interface/filters/index.html
|
|
docs:
../../../.julia/packages/Documenter/Bs999/src/utilities/utilities.jl#L651
Unable to determine deploydocs(devbranch = ...) from remote HEAD branch, defaulting to "master".
Calling `git remote` failed with an exception. Set JULIA_DEBUG=Documenter to see the error.
Unless this is due to a configuration error, the relevant variable should be set explicitly.
|
|
docs:
../../../.julia/packages/Documenter/Bs999/src/deployconfig.jl#L545
Unable to verify if PR comes from destination repository -- assuming it doesn't.
|
|
[julia-buildpkg] Caching of the julia depot was not detected
Consider using `julia-actions/cache` to speed up runs https://github.com/julia-actions/cache. To ignore, set input `ignore-no-cache: true`
|