Repository navigation

Update CI to use setup-gap@v3 - #8

Merged

fingolfin merged 2 commits into

codex/update-ci

Jul 29, 2026

Merged

Update CI to use setup-gap@v3#8
fingolfin merged 2 commits into
masterfrom
codex/update-ci

Commits on Jul 10, 2026
- Update CI to use setup-gap@v3
  fingolfin
  committed
  3153352
Commits on Jul 29, 2026
- doc: fix warnings about non resolved references
  fingolfin
  committed
  c8e974b