Add implication: integral domains are not trivial (#1912) #3810

Sign in to view logs

Triggered via push November 26, 2024 08:34

thofma

master

Status Success

Total duration 1h 1m 10s

Artifacts –

CI.yml

on: push

Matrix: test

Annotations

10 warnings and 1 notice

Documentation: ../../../.julia/packages/Documenter/Bs999/src/deploydocs.jl#L552

removing `stable` and linking `stable` to `v0.43.11`.

Documentation: ../../../.julia/packages/Documenter/Bs999/src/deploydocs.jl#L552

removing `v0.43` and linking `v0.43` to `v0.43.11`.

Documentation: ../../../.julia/packages/Documenter/Bs999/src/deploydocs.jl#L552

removing `v0.42` and linking `v0.42` to `v0.42.7`.

Documentation: ../../../.julia/packages/Documenter/Bs999/src/deploydocs.jl#L552

removing `v0.41` and linking `v0.41` to `v0.41.11`.

Documentation: ../../../.julia/packages/Documenter/Bs999/src/deploydocs.jl#L552

removing `v0.40` and linking `v0.40` to `v0.40.9`.

Documentation: ../../../.julia/packages/Documenter/Bs999/src/deploydocs.jl#L552

removing `v0.39` and linking `v0.39` to `v0.39.1`.

Documentation: ../../../.julia/packages/Documenter/Bs999/src/deploydocs.jl#L552

removing `v0.38` and linking `v0.38` to `v0.38.1`.

Documentation: ../../../.julia/packages/Documenter/Bs999/src/deploydocs.jl#L552

removing `v0.37` and linking `v0.37` to `v0.37.6`.

Documentation: ../../../.julia/packages/Documenter/Bs999/src/deploydocs.jl#L552

removing `v0.36` and linking `v0.36` to `v0.36.6`.

Documentation: ../../../.julia/packages/Documenter/Bs999/src/deploydocs.jl#L552

removing `v0.35` and linking `v0.35` to `v0.35.3`.

test (1.6, ubuntu-latest)

[setup-julia] If you are testing 1.6 as a Long Term Support (lts) version, consider using the new "lts" version specifier instead of "1.6" explicitly, which will automatically resolve the current lts.