Skip to content

Update CI to use setup-gap@v3; require curlInterface 2.4.0 for timeout support - #98

Merged
cdwensley merged 2 commits into
masterfrom
mh/ci
Jul 21, 2026
Merged

Update CI to use setup-gap@v3; require curlInterface 2.4.0 for timeout support#98
cdwensley merged 2 commits into
masterfrom
mh/ci

Commits

Commits on Jul 18, 2026

Commits on Jul 19, 2026