Skip to content
Build documentation (PDF)

src/sage/interfaces/singular.py: use GNU Info to read Singular's info #290

Sign in to view logs

src/sage/interfaces/singular.py: use GNU Info to read Singular's info

src/sage/interfaces/singular.py: use GNU Info to read Singular's info #290

Triggered via push November 1, 2024 02:49
@orlitzkyorlitzky
pushed 4314aa8
use-gnu-info-to-parse-singulars-info
Status Cancelled
Total duration 47m 4s
Artifacts 1

doc-build-pdf.yml

on: push
build-doc-pdf
46m 54s
build-doc-pdf
Fit to window
Zoom out
Zoom in

Annotations

2 errors
build-doc-pdf
Canceling since a higher priority waiting request for 'Build documentation (PDF)-refs/heads/use-gnu-info-to-parse-singulars-info' exists
build-doc-pdf
The operation was canceled.

Artifacts

Produced during runtime
Name Size
orlitzky~sage~KL52MN.dockerbuild
115 KB