Skip to content

XXX: Should this be added or not? constraints for param and var #2276

XXX: Should this be added or not? constraints for param and var

XXX: Should this be added or not? constraints for param and var #2276

Triggered via push May 5, 2024 21:20
Status Failure
Total duration 20m 27s
Artifacts

test.yaml

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

Annotations

11 errors and 6 warnings
Test (shell) on ubuntu-latest with golang 1.21
Process completed with exit code 2.
Test (basic) on ubuntu-latest with golang 1.21
unreachable code
Test (basic) on ubuntu-latest with golang 1.21
too many arguments in call to solver.Solve
Test (basic) on ubuntu-latest with golang 1.21
too many arguments in call to solver.Solve
Test (basic) on ubuntu-latest with golang 1.21
comment on exported type UnificationInvariant should be of the form "UnificationInvariant ..." (with optional leading article)
Test (basic) on ubuntu-latest with golang 1.21
comment on exported type NewPolyFunc should be of the form "NewPolyFunc ..." (with optional leading article)
Test (basic) on ubuntu-latest with golang 1.21
comment on exported method PrintfFunc.Infer should be of the form "Infer ..."
Test (basic) on ubuntu-latest with golang 1.21
comment on exported method MapFunc.Infer should be of the form "Infer ..."
Test (basic) on ubuntu-latest with golang 1.21
Process completed with exit code 2.
Test (race) on ubuntu-latest with golang 1.21
too many arguments in call to solver.Solve
Test (race) on ubuntu-latest with golang 1.21
Process completed with exit code 2.
Test (shell) on ubuntu-latest with golang 1.21
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-go@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Test (shell) on ubuntu-latest with golang 1.21
Restore cache failed: Dependencies file is not found in /home/runner/work/mgmt/mgmt. Supported file pattern: go.sum
Test (basic) on ubuntu-latest with golang 1.21
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-go@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Test (basic) on ubuntu-latest with golang 1.21
Restore cache failed: Dependencies file is not found in /home/runner/work/mgmt/mgmt. Supported file pattern: go.sum
Test (race) on ubuntu-latest with golang 1.21
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-go@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Test (race) on ubuntu-latest with golang 1.21
Restore cache failed: Dependencies file is not found in /home/runner/work/mgmt/mgmt. Supported file pattern: go.sum