⚡ Eliminate garbage reduction in alternating checker #1167
reb-ddmci.yml
on: pull_request
🔍 Change
/
🕵️ Check
4s
Matrix: 🇨 Test / cpp-tests-macos
Matrix: 🇨 Test / cpp-tests-ubuntu
Matrix: 🇨 Test / cpp-tests-windows
Matrix: 🐍 Test / coverage
Matrix: 🐍 Test / python-tests-macos
Matrix: 🐍 Test / python-tests-ubuntu
Matrix: 🐍 Test / python-tests-windows
🇨 Test
/
...
/
📈 Coverage
5m 39s
🇨 Lint
/
🚨 Lint
2m 21s
🐍 Test
/
...
/
🚨 Lint
35s
🐍 Test
/
🐍 Minimal Versions
2m 21s
🐍 Test
/
📦 Check
2m 0s
📝 CodeQL
/
...
/
🇨 Analysis
5m 32s
📝 CodeQL
/
...
/
🐍 Analysis
4m 46s
🚦 Check
2s
Annotations
2 errors and 11 warnings
|
🇨 Lint / 🚨 Lint
Process completed with exit code 1.
|
|
🚦 Check
Process completed with exit code 1.
|
|
🔍 Change / 🕵️ Check
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: Ana06/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
🐍 Test / 🚨 Lint / 🚨 Lint
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
🐍 Test / 🐍 Minimal Versions
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: Wandalen/[email protected]_js_action. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
src/checker/dd/DDAlternatingChecker.cpp:150:55 [bugprone-unchecked-optional-access]:
src/checker/dd/DDAlternatingChecker.cpp#L150
unchecked access to optional value
|
|
src/checker/dd/DDAlternatingChecker.cpp:151:55 [bugprone-unchecked-optional-access]:
src/checker/dd/DDAlternatingChecker.cpp#L151
unchecked access to optional value
|
|
🐍 Test / 📈 3.8 / 📈 Coverage 3.8
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: Wandalen/[email protected]_js_action. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
📝 CodeQL / 🐍 / 🐍 Analysis
We recommend that you remove the CODEQL_PYTHON environment variable from your workflow. This environment variable was originally used to specify a Python executable that included the dependencies of your Python code, however Python analysis no longer uses these dependencies.
If you used CODEQL_PYTHON to force the version of Python to analyze as, please use CODEQL_EXTRACTOR_PYTHON_ANALYSIS_VERSION instead, such as 'CODEQL_EXTRACTOR_PYTHON_ANALYSIS_VERSION=2.7' or 'CODEQL_EXTRACTOR_PYTHON_ANALYSIS_VERSION=3.11'.
|
|
🇨 Test / 📈 / 📈 Coverage
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: Wandalen/[email protected]_js_action. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
🇨 Test / 🏁 Release / 🏁 Release
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: nick-fields/retry@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
🐍 Test / 📈 3.11 / 📈 Coverage 3.11
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: Wandalen/[email protected]_js_action. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
🇨 Test / 🏁 Debug / 🏁 Debug
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: nick-fields/retry@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
Package Metadata
Expired
|
3.67 KB |
|
|
Packages
Expired
|
1.1 MB |
|
|
PyPI README
Expired
|
2.29 KB |
|