Skip to content

Merge changes from development repository #34

Merge changes from development repository

Merge changes from development repository #34

Triggered via pull request February 5, 2026 11:49
Status Success
Total duration 8m 10s
Artifacts

documentation.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
build (1.10, x64, ubuntu-latest): ../../../.julia/packages/Documenter/xvqbW/src/html/HTMLWriter.jl#L931
Generated search index over size_threshold_warn limit: Generated file size: 827.42 (KiB) search_size_threshold_warn: 500.0 (KiB) Search index file: build/search_index.js
build (1.10, x64, ubuntu-latest): ../../../.julia/packages/Documenter/xvqbW/src/html/HTMLWriter.jl#L2003
Generated HTML over size_threshold_warn limit: fci.md Generated file size: 173.83 (KiB) size_threshold_warn: 100.0 (KiB) size_threshold: 200.0 (KiB) HTML file: fci/index.html