Skip to content
test

Delete test/respectPreAmounts.gobra #272

Sign in to view logs

Delete test/respectPreAmounts.gobra

Delete test/respectPreAmounts.gobra #272

Triggered via push January 17, 2025 19:09
@jcp19jcp19
pushed 5f2e67e
respect-function-pre-fractions
Status Failure
Total duration 1m 35s
Artifacts –

test.yml

on: push
setup-and-test
1m 25s
setup-and-test
Fit to window
Zoom out
Zoom in

Annotations

12 warnings
setup-and-test
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
setup-and-test
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/
setup-and-test
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/
setup-and-test
Unexpected input(s) 'mceMde', valid inputs are ['entryPoint', 'args', 'caching', 'projectLocation', 'includePaths', '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']
setup-and-test
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/
setup-and-test
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/
setup-and-test
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/
setup-and-test
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/
setup-and-test
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/
setup-and-test
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/
setup-and-test
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/
setup-and-test
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/