Improve documentation of discrete valuations #19063

Triggered via pull request March 1, 2025 13:06

saraedum

opened #39612

saraedum:valuation-doc

Status Success

Total duration 40m 10s

Artifacts 2

doc-build.yml

on: pull_request

1 warning

The process '/usr/bin/git' failed with exit code 128

Produced during runtime

Name	Size
doc	118 MB
sagemath~sage~MNRWI2.dockerbuild	110 KB