Update CI to use setup-gap@v3 · gap-packages/RepnDecomp@bb877e3

Triggered via pull request July 10, 2026 11:15

fingolfin

opened #27

codex/update-ci

Status Success

Total duration 5m 3s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size	Digest
manual.pdf	187 KB	`sha256:0d8e5d5d304bf72ce0fc98e18560d4cf1bae7f8b69be4875255dae2ede539bfd`