Validate Query Formatting

validate-query-formatting.yml

1023 workflow runs

Add Banned2, Banned3, and Banned4
completed successfully:
Validate Query Formatting#2051:Pull request#1080openedbyjeongsoolee09
jeongsoolee09/MISRA-C++-2023-Banned234
Mar 13, 202626s
Add lifetime package
completed successfully:
Validate Query Formatting#2050:Pull request#1024synchronizebyknewbury01
knewbury01:knewbury01/Lifetime
Mar 11, 202632s
PR for Rule 4-1-3, no undefined/unspecified behavior
completed successfully:
Validate Query Formatting#2049:Pull request#1076synchronizebymbaluda
michaelrfairhurst/package-undefined-behavior
Mar 11, 202624s
Add lifetime package
completed successfully:
Validate Query Formatting#2048:Pull request#1024synchronizebyknewbury01
knewbury01:knewbury01/Lifetime
Mar 10, 202637s
Implement Memory1 (RULE-8-7-1)
failed:
Validate Query Formatting#2047:Pull request#967synchronizebyjeongsoolee09
jeongsoolee09/MISRA-C++-2023-Memory
Mar 10, 202631s
Add lifetime package
completed successfully:
Validate Query Formatting#2046:Pull request#1024synchronizebyknewbury01
knewbury01:knewbury01/Lifetime
Mar 10, 202630s
Add lifetime package
failed:
Validate Query Formatting#2045:Pull request#1024synchronizebyknewbury01
knewbury01:knewbury01/Lifetime
Mar 10, 202629s
Add lifetime package
failed:
Validate Query Formatting#2044:Pull request#1024synchronizebyknewbury01
knewbury01:knewbury01/Lifetime
Mar 10, 202626s
Add lifetime package
failed:
Validate Query Formatting#2043:Pull request#1024synchronizebyknewbury01
knewbury01:knewbury01/Lifetime
Mar 10, 202628s
Michaelrfairhurst/rule 4 1 3 detect data races
completed successfully:
Validate Query Formatting#2042:Pull request#1077synchronizebyMichaelRFairhurst
michaelrfairhurst/rule-4-1-3-detect-data-races
Mar 10, 202626s
PR for Rule 4-1-3, no undefined/unspecified behavior
completed successfully:
Validate Query Formatting#2041:Pull request#1076synchronizebyMichaelRFairhurst
michaelrfairhurst/package-undefined-behavior
Mar 10, 202632s
First implementation of Rule 22-3-1
completed successfully:
Validate Query Formatting#2040:Pull request#986synchronizebymbaluda
michaelrfairhurst/preconditions-rule-22-3-1-no-asserts-on-constants
Mar 10, 202626s
Michaelrfairhurst/rule 4 1 3 detect data races
completed successfully:
Validate Query Formatting#2039:Pull request#1077synchronizebyMichaelRFairhurst
michaelrfairhurst/rule-4-1-3-detect-data-races
Mar 10, 202626s
PR for Rule 4-1-3, no undefined/unspecified behavior
completed successfully:
Validate Query Formatting#2038:Pull request#1076synchronizebyMichaelRFairhurst
michaelrfairhurst/package-undefined-behavior
Mar 10, 202627s
Michaelrfairhurst/rule 4 1 3 detect data races
failed:
Validate Query Formatting#2037:Pull request#1077synchronizebyMichaelRFairhurst
michaelrfairhurst/rule-4-1-3-detect-data-races
Mar 10, 202625s
Michaelrfairhurst/rule 4 1 3 detect data races
failed:
Validate Query Formatting#2036:Pull request#1077synchronizebyMichaelRFairhurst
michaelrfairhurst/rule-4-1-3-detect-data-races
Mar 10, 202627s
PR for Rule 4-1-3, no undefined/unspecified behavior
failed:
Validate Query Formatting#2035:Pull request#1076synchronizebyMichaelRFairhurst
michaelrfairhurst/package-undefined-behavior
Mar 10, 202627s
PR for Rule 4-1-3, no undefined/unspecified behavior
failed:
Validate Query Formatting#2034:Pull request#1076synchronizebyMichaelRFairhurst
michaelrfairhurst/package-undefined-behavior
Mar 9, 202634s
Validate Query Formatting
completed successfully:
Validate Query Formatting#2033:Merge group checks requested
Mar 9, 202639s
PR for Rule 4-1-3, no undefined/unspecified behavior
completed successfully:
Validate Query Formatting#2032:Pull request#1076openedbyMichaelRFairhurst
michaelrfairhurst/package-undefined-behavior
Mar 9, 202635s
Bump version to 2.56.0-dev
completed successfully:
Validate Query Formatting#2031:Pull request#1073reopenedbyknewbury01
release-automation/bump-version-to-2.56.0-dev
Mar 9, 202634s
Validate Query Formatting
completed successfully:
Validate Query Formatting#2030:Merge group checks requested
Mar 7, 202626s
Implement package SideEffects6 with rule 28.3.1, predicate should not have side effects
completed successfully:
Validate Query Formatting#2029:Pull request#1051synchronizebyMichaelRFairhurst
michaelrfairhurst/side-effects-6-rule-28-3-1-predicate-side-effects
Mar 7, 202626s
Release v2.55.0
completed successfully:
Validate Query Formatting#2028:Pull request#1075openedbycodeql-coding-standards-automation[bot]Bot
feature/update-user-manual-for-2.55.0
Mar 6, 202633s
Revert "Release v2.55.0"
completed successfully:
Validate Query Formatting#2027:Pull request#1074openedbyknewbury01
revert-1072-feature/update-user-manual-for-2.55.0
Mar 6, 202626s

Navigation Menu

Validate Query Formatting

1023 workflow runs

Add `Banned2`, `Banned3`, and `Banned4`

Add lifetime package

PR for Rule 4-1-3, no undefined/unspecified behavior

Add lifetime package

Implement `Memory1` (`RULE-8-7-1`)

Add lifetime package

Add lifetime package

Add lifetime package

Add lifetime package

Michaelrfairhurst/rule 4 1 3 detect data races

PR for Rule 4-1-3, no undefined/unspecified behavior

First implementation of Rule 22-3-1

Michaelrfairhurst/rule 4 1 3 detect data races

PR for Rule 4-1-3, no undefined/unspecified behavior

Michaelrfairhurst/rule 4 1 3 detect data races

Michaelrfairhurst/rule 4 1 3 detect data races

PR for Rule 4-1-3, no undefined/unspecified behavior

PR for Rule 4-1-3, no undefined/unspecified behavior

Validate Query Formatting

PR for Rule 4-1-3, no undefined/unspecified behavior

Bump version to 2.56.0-dev

Validate Query Formatting

Implement package SideEffects6 with rule 28.3.1, predicate should not have side effects

Release v2.55.0

Revert "Release v2.55.0"

ProTip! You can narrow down the results and go further in time using the filter or the other filters available.

Workflow runs for Validate Query Formatting

1023 workflow runs

ProTip! You can narrow down the results and go further in time using the created: filter or the other filters available.

ProTip! You can narrow down the results and go further in time using the filter or the other filters available.