experimental: add specifications to packages pkg/addr and pkg/slayers/path, verify them in the CI with Gobra
#4837
Annotations
8 warnings
|
Verify package `pkg/slayers/path`
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
Verify package `pkg/slayers/path`
Unexpected input(s) 'continue-on-error', valid inputs are ['entryPoint', 'args', 'caching', 'projectLocation', 'includePaths', 'enableFriendClauses', 'files', 'packages', 'excludePackages', 'recursive', 'respectFunctionPrePermAmounts', 'overflow', 'chop', 'viperBackend', 'javaXss', 'javaXmx', 'timeout', 'imageName', 'imageVersion', 'headerOnly', 'module', 'assumeInjectivityOnInhale', 'checkConsistency', 'mceMode', 'parallelizeBranches', 'requireTriggers', 'conditionalizePermissions', 'disableNL', 'moreJoins', 'unsafeWildcardOptimization', 'useZ3API', 'statsFile']
|
|
Verify package `pkg/addr`
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
Verify package `pkg/addr`
Unexpected input(s) 'continue-on-error', valid inputs are ['entryPoint', 'args', 'caching', 'projectLocation', 'includePaths', 'enableFriendClauses', 'files', 'packages', 'excludePackages', 'recursive', 'respectFunctionPrePermAmounts', 'overflow', 'chop', 'viperBackend', 'javaXss', 'javaXmx', 'timeout', 'imageName', 'imageVersion', 'headerOnly', 'module', 'assumeInjectivityOnInhale', 'checkConsistency', 'mceMode', 'parallelizeBranches', 'requireTriggers', 'conditionalizePermissions', 'disableNL', 'moreJoins', 'unsafeWildcardOptimization', 'useZ3API', 'statsFile']
|
|
Check that specifications of third-party libraries are well-formed
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
Check that specifications of third-party libraries are well-formed
Unexpected input(s) 'continue-on-error', valid inputs are ['entryPoint', 'args', 'caching', 'projectLocation', 'includePaths', 'enableFriendClauses', 'files', 'packages', 'excludePackages', 'recursive', 'respectFunctionPrePermAmounts', 'overflow', 'chop', 'viperBackend', 'javaXss', 'javaXmx', 'timeout', 'imageName', 'imageVersion', 'headerOnly', 'module', 'assumeInjectivityOnInhale', 'checkConsistency', 'mceMode', 'parallelizeBranches', 'requireTriggers', 'conditionalizePermissions', 'disableNL', 'moreJoins', 'unsafeWildcardOptimization', 'useZ3API', 'statsFile']
|
|
Check that the package gobra/utils is well-formed
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
Check that the package gobra/utils is well-formed
Unexpected input(s) 'continue-on-error', valid inputs are ['entryPoint', 'args', 'caching', 'projectLocation', 'includePaths', 'enableFriendClauses', 'files', 'packages', 'excludePackages', 'recursive', 'respectFunctionPrePermAmounts', 'overflow', 'chop', 'viperBackend', 'javaXss', 'javaXmx', 'timeout', 'imageName', 'imageVersion', 'headerOnly', 'module', 'assumeInjectivityOnInhale', 'checkConsistency', 'mceMode', 'parallelizeBranches', 'requireTriggers', 'conditionalizePermissions', 'disableNL', 'moreJoins', 'unsafeWildcardOptimization', 'useZ3API', 'statsFile']
|
Loading