Skip to content

Adapt to OSCAR 1.2 (#161) #225

Adapt to OSCAR 1.2 (#161)

Adapt to OSCAR 1.2 (#161) #225

Triggered via push November 6, 2024 15:58
Status Success
Total duration 14m 29s
Artifacts
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
deploy_docs: ../../../.julia/packages/Documenter/bYYzK/src/Documenter.jl#L800
removing `stable` and linking `stable` to `v0.3.1`.
deploy_docs: ../../../.julia/packages/Documenter/bYYzK/src/Documenter.jl#L800
removing `v0.3` and linking `v0.3` to `v0.3.1`.
deploy_docs: ../../../.julia/packages/Documenter/bYYzK/src/Documenter.jl#L800
removing `v0.1` and linking `v0.1` to `v0.1.0`.