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

Require curlInterface 2.4.0 for timeout support

419d7b8
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Jul 19, 2026 in 1s

Coverage not affected when comparing 0486034...419d7b8

View this Pull Request on Codecov

Coverage not affected when comparing 0486034...419d7b8