Skip to content

Merge pull request #65 from gap-packages/ddm #102

Merge pull request #65 from gap-packages/ddm

Merge pull request #65 from gap-packages/ddm #102

Triggered via push September 10, 2023 14:15
Status Failure
Total duration 2m 34s
Artifacts 1

CI.yml

on: push
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

1 error
stable-4.11
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size
manual Expired
280 KB