Skip to content
CI

Merge pull request #56 from gap-packages/mh/coverage #229

Sign in to view logs

Merge pull request #56 from gap-packages/mh/coverage

Merge pull request #56 from gap-packages/mh/coverage #229

Triggered via push September 7, 2023 23:20
@xpan-eileenxpan-eileen
pushed 7b1efca
master
Status Success
Total duration 10m 7s
Artifacts 1

CI.yml

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

Artifacts

Produced during runtime
Name Size
manual Expired
108 KB