First implementation of Rule-0-0-2, invariant conditions. #3946
Triggered via pull request
December 18, 2025 16:33
MichaelRFairhurst
Status
Success
Total duration
1h 41m 46s
Artifacts
2
codeql_unit_tests.yml
on: pull_request
Prepare CodeQL unit test matrix
4s
Matrix: Run unit tests
Validate test results
6s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
c-test-results-Linux-2.20.7-codeql-cli_v2.20.7
|
52.5 KB |
sha256:90d68d2b2e98816c60fac1800dd735dab2626fea7ac069d8f48d6eae8967684f
|
|
|
cpp-test-results-Linux-2.20.7-codeql-cli_v2.20.7
|
64.8 KB |
sha256:8c3b4e5ecfb65c3cf208bf2f2f6209eeec15595d8bc24752629f4f212765644a
|
|