Skip to content

src/sage/interfaces/gap.py: don't load all packages on workspace reset #159

src/sage/interfaces/gap.py: don't load all packages on workspace reset

src/sage/interfaces/gap.py: don't load all packages on workspace reset #159

Triggered via push January 12, 2024 23:18
Status Success
Total duration 52m 49s
Artifacts 2
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
docs-pdf Expired
191 MB
upstream Expired
347 KB