Merge pull request #74 from gap-packages/latex · gap-packages/groupoids@f72d115

Triggered via push September 11, 2025 08:17

cdwensley

master

Status Success

Total duration 6m 5s

Artifacts 1

CI.yml

on: push

Matrix: test

Produced during runtime

Name	Size	Digest
manual Expired	387 KB	`sha256:9243d26013ae290f5fd7ebd0f4ad1d4a3cacad2212b38ab45f3a71954a6aa26f`