First implementation of Rule-0-0-2, invariant conditions. #3950
Triggered via pull request
December 18, 2025 19:37
MichaelRFairhurst
Status
Success
Total duration
1h 42m 44s
Artifacts
2
codeql_unit_tests.yml
on: pull_request
Prepare CodeQL unit test matrix
4s
Matrix: Run unit tests
Validate test results
4s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
c-test-results-Linux-2.20.7-codeql-cli_v2.20.7
|
52.5 KB |
sha256:a6bb895c724b2ccdc5604980f669df9d9ef142a3bd31bc7cdbd65d9ad309c98f
|
|
|
cpp-test-results-Linux-2.20.7-codeql-cli_v2.20.7
|
64.8 KB |
sha256:a4cf6abe7ac1f437a9db9d00b61db71f053f5f4d40c5a5c1f240106e5899b5e3
|
|