Skip to content

Each GAP.jl session uses fresh dir for mutable GAP root #126

Each GAP.jl session uses fresh dir for mutable GAP root

Each GAP.jl session uses fresh dir for mutable GAP root #126

Triggered via pull request January 28, 2025 14:13
Status Success
Total duration 36m 53s
Artifacts

CI-distro.yml

on: pull_request
generate-matrix
55s
generate-matrix
Matrix: test
Fit to window
Zoom out
Zoom in