Skip to content
CI

Add GapInt(::ZZRingElem) (#1283) #2440

Sign in to view logs

Add GapInt(::ZZRingElem) (#1283)

Add GapInt(::ZZRingElem) (#1283) #2440

Triggered via push November 5, 2025 15:49
@fingolfinfingolfin
pushed e7aeecc
master
Status Success
Total duration 10m 32s
Artifacts –

CI.yml

on: push
Matrix: test
Documentation
2m 12s
Documentation
Send Slack notification on status change
5s
Send Slack notification on status change
Fit to window
Zoom out
Zoom in

Annotations

10 warnings
Documentation: ../../../.julia/packages/Documenter/HdXI4/src/deploydocs.jl#L593
removing `v0.8` and linking `v0.8` to `v0.8.5`.
Documentation: ../../../.julia/packages/Documenter/HdXI4/src/deploydocs.jl#L593
removing `v0.9` and linking `v0.9` to `v0.9.8`.
Documentation: ../../../.julia/packages/Documenter/HdXI4/src/deploydocs.jl#L593
removing `v0.10` and linking `v0.10` to `v0.10.4`.
Documentation: ../../../.julia/packages/Documenter/HdXI4/src/deploydocs.jl#L593
removing `v0.11` and linking `v0.11` to `v0.11.4`.
Documentation: ../../../.julia/packages/Documenter/HdXI4/src/deploydocs.jl#L593
removing `v0.12` and linking `v0.12` to `v0.12.3`.
Documentation: ../../../.julia/packages/Documenter/HdXI4/src/deploydocs.jl#L593
removing `v0.13` and linking `v0.13` to `v0.13.4`.
Documentation: ../../../.julia/packages/Documenter/HdXI4/src/deploydocs.jl#L593
removing `v0.14` and linking `v0.14` to `v0.14.2`.
Documentation: ../../../.julia/packages/Documenter/HdXI4/src/deploydocs.jl#L593
removing `v0.15` and linking `v0.15` to `v0.15.4`.
Documentation: ../../../.julia/packages/Documenter/HdXI4/src/deploydocs.jl#L593
removing `v0.16` and linking `v0.16` to `v0.16.0`.
Documentation: ../../../.julia/packages/Documenter/HdXI4/src/deploydocs.jl#L593
removing `stable` and linking `stable` to `v0.16.0`.