[wedderga] Update to 4.10.5 #1991
gap-package-distribution-bot[bot]pull-request.yml
on: pull_request
Detect affected packages
53s
Matrix: master / test-package
Matrix: 4.12.2 / test-package
4.12.2
/
Generate report
15s
Create or update PR comment
3s
Annotations
6 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.
|
|
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.6 KB |
|
|
report-master
Expired
|
14.7 KB |
|