Skip to content
PR

[semigroups] Update to 5.3.1 #1841

Sign in to view logs

[semigroups] Update to 5.3.1

[semigroups] Update to 5.3.1 #1841

Triggered via pull request September 18, 2023 11:09
@gap-package-distribution-botgap-package-distribution-bot[bot]
opened #833
automatic/semigroups
Status Failure
Total duration 21m 13s
Artifacts 2

pull-request.yml

on: pull_request
Detect affected packages
54s
Detect affected packages
master  /  Build GAP and packages
19m 26s
master / Build GAP and packages
4.12.1  /  Build GAP and packages
18m 56s
4.12.1 / Build GAP and packages
Matrix: master / test-package
Matrix: 4.12.1 / test-package
master  /  Generate report
12s
master / Generate report
4.12.1  /  Generate report
11s
4.12.1 / Generate report
Create or update PR comment
9s
Create or update PR comment
Fit to window
Zoom out
Zoom in

Annotations

2 errors
4.12.1 / Build GAP and packages
Process completed with exit code 1.
master / Build GAP and packages
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size
report-4.12.1 Expired
94.8 KB
report-master Expired
94.8 KB