Skip to content
Documentation

Rename all @id in docs #236

Sign in to view logs

Rename all @id in docs

Rename all @id in docs #236

Triggered via pull request May 29, 2024 05:12
@ytdHuangytdHuang
opened #144
ytdHuang:dev/states-operators
Status Success
Total duration 3m 39s
Artifacts –

documentation.yml

on: pull_request
build
3m 29s
build
Fit to window
Zoom out
Zoom in

Annotations

1 warning
build: ../../../.julia/packages/Documenter/CJeWX/src/html/HTMLWriter.jl#L1824
Generated HTML over size_threshold_warn limit: api.md Generated file size: 138.89 (KiB) size_threshold_warn: 100.0 (KiB) size_threshold: 200.0 (KiB) HTML file: api/index.html