Merge branch 'develop' into replace-arithgroup.all · tobiasdiez/sage@c7c1bac

Triggered via push March 7, 2025 12:19

tobiasdiez

replace-arithgroup.all

Status Success

Total duration 2h 14m 23s

Artifacts 2

doc-build-pdf.yml

on: push

1 warning

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

Produced during runtime

Name	Size
doc-pdf	251 MB
tobiasdiez~sage~6AHNHZ.dockerbuild	179 KB