Skip to content
PR

[cap_project] Updates for several packages #1990

Sign in to view logs

[cap_project] Updates for several packages

[cap_project] Updates for several packages #1990

Triggered via pull request February 19, 2024 14:09
@gap-package-distribution-botgap-package-distribution-bot[bot]
synchronize #902
automatic/cap_project
Status Failure
Total duration 25m 51s
Artifacts 4

pull-request.yml

on: pull_request
Detect affected packages
1m 4s
Detect affected packages
master  /  Build GAP and packages
8m 34s
master / Build GAP and packages
4.12.2  /  Build GAP and packages
13m 5s
4.12.2 / Build GAP and packages
Matrix: master / test-package
Matrix: 4.12.2 / test-package
master  /  Generate report
13s
master / Generate report
4.12.2  /  Generate report
15s
4.12.2 / Generate report
Create or update PR comment
9s
Create or update PR comment
Fit to window
Zoom out
Zoom in

Annotations

8 errors and 1 warning
master / digraphs
Process completed with exit code 1.
master / digraphs
Process completed with exit code 1.
master / semigroups
Process completed with exit code 1.
master / semigroups
Process completed with exit code 1.
master / wedderga
Process completed with exit code 1.
master / wedderga
Process completed with exit code 1.
4.12.2 / semigroups
Process completed with exit code 1.
4.12.2 / semigroups
Process completed with exit code 1.
Create or update PR comment
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: peter-evans/find-comment@v2, peter-evans/create-or-update-comment@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Artifacts

Produced during runtime
Name Size
gap-4.12.2 Expired
883 MB
gap-master Expired
875 MB
report-4.12.2 Expired
14.7 KB
report-master Expired
14.7 KB