Skip to content

Merge pull request #27 from gap-packages/mh/ci #51

Merge pull request #27 from gap-packages/mh/ci

Merge pull request #27 from gap-packages/mh/ci #51

Triggered via push August 30, 2023 20:09
Status Success
Total duration 3m 16s
Artifacts 1

CI.yml

on: push
Build manuals
3m 2s
Build manuals
Matrix: test
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
manual Expired
179 KB