updated vdmcheck2 version #2003
lausdahlAnnotations
3 errors and 10 warnings
|
build (ubuntu-20.04)
Process completed with exit code 1.
|
|
build (macos-latest)
Process completed with exit code 1.
|
|
build (windows-2019)
Process completed with exit code 1.
|
|
build (ubuntu-20.04)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/[email protected], stCarolas/[email protected], actions/setup-python@v2, actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
build (ubuntu-20.04)
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/
|
|
build (ubuntu-20.04)
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/
|
|
build (macos-latest)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/[email protected], stCarolas/[email protected], actions/setup-python@v2, actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
build (macos-latest)
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/
|
|
build (macos-latest)
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/
|
|
build (windows-2019)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/[email protected], stCarolas/[email protected], actions/setup-python@v2, actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
build (windows-2019)
No files were found with the provided path: **/target/surefire-reports/*
**/target/FullSpecCppTest/spec.mabl
**/target/FullSpecCppTest/co-sim.cxx. No artifacts will be uploaded.
|
|
build (windows-2019)
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/
|
|
build (windows-2019)
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/
|