First implementation of Rule-0-0-2, invariant conditions. #3944
Triggered via pull request
December 18, 2025 01:06
Status
Success
Total duration
1h 40m 30s
Artifacts
2
codeql_unit_tests.yml
on: pull_request
Prepare CodeQL unit test matrix
5s
Matrix: Run unit tests
Validate test results
7s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
c-test-results-Linux-2.20.7-codeql-cli_v2.20.7
|
52.5 KB |
sha256:4e01e659fe2811a17dfdbd5c9217b3096a94bfbe587ba09f1d6b7d3c0a40f20e
|
|
|
cpp-test-results-Linux-2.20.7-codeql-cli_v2.20.7
|
64.8 KB |
sha256:4026509a6243d5b0c20b3295d09dea2159c5283737427277dbf3365378449e79
|
|