XXX: port contains_func to new API #2287
purpleideaAnnotations
12 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 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
type name will be used as simplepoly.SimplePolyFunc by other packages, and that stutters; consider calling this Func
|
|
Test (basic) on ubuntu-latest with golang 1.21
type name will be used as simple.SimpleFunc by other packages, and that stutters; consider calling this Func
|
|
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
|