Skip to content

Merge pull request #10 from JuliaPOMDP/pomdptools_graphs_ci_updates #3

Merge pull request #10 from JuliaPOMDP/pomdptools_graphs_ci_updates

Merge pull request #10 from JuliaPOMDP/pomdptools_graphs_ci_updates #3

Triggered via push December 20, 2023 16:44
Status Success
Total duration 7m 7s
Artifacts
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
build: ../../../.julia/packages/Documenter/1HwWe/src/deploydocs.jl#L469
removing `stable` and linking `stable` to `v0.1.0`.
build: ../../../.julia/packages/Documenter/1HwWe/src/deploydocs.jl#L469
removing `v0.1` and linking `v0.1` to `v0.1.0`.