Skip to content
Documentation

Merge pull request #5 from JuliaPOMDP/pomdptools_ci_updates #2

Sign in to view logs

Merge pull request #5 from JuliaPOMDP/pomdptools_ci_updates

Merge pull request #5 from JuliaPOMDP/pomdptools_ci_updates #2

Triggered via push December 20, 2023 17:59
@dylan-asmardylan-asmar
pushed 9649045
master
Status Success
Total duration 7m 11s
Artifacts –

Documentation.yml

on: push
build
7m 3s
build
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`.