⚙️ Extra Rule Validation

Workflow runs for ⚙️ Extra Rule Validation

• ⚙️ Extra Rule Validation

  completed successfully:
  ⚙️ Extra Rule Validation#4169:Merge group checks requested
  Jun 24, 202625s
  More actions for workflow run 4169

• Bump actions/checkout from 6 to 7

  completed successfully:
  ⚙️ Extra Rule Validation#4168:Pull request#1148openedbydependabot[bot]Bot
  dependabot/github_actions/actions/checkout-7

  Jun 22, 202621s
  More actions for workflow run 4168

• Fix false positives in RULE-6-9-2/A3-9-1 for auto-deduced types

  completed successfully:
  ⚙️ Extra Rule Validation#4167:Pull request#1147openedbycastler
  castler:fix_6_9_2_auto_deduced_to_int

  Jun 20, 202623s
  More actions for workflow run 4167

• Fix FPs for unsigned operations in INT30-C and RULE-8-20-1

  completed successfully:
  ⚙️ Extra Rule Validation#4166:Pull request#1140synchronizebymbaluda
  mbaluda-FP-wrap

  Jun 19, 202619s
  More actions for workflow run 4166

• Use the new dataflow module without affecting any tested behavior

  completed successfully:
  ⚙️ Extra Rule Validation#4165:Pull request#1142synchronizebymbaluda
  mbaluda-new-dataflow

  Jun 19, 202623s
  More actions for workflow run 4165

• Use the new dataflow module without affecting any tested behavior

  completed successfully:
  ⚙️ Extra Rule Validation#4164:Pull request#1142synchronizebymbaluda
  mbaluda-new-dataflow

  Jun 19, 202620s
  More actions for workflow run 4164

• Fix false positives in RULE-0-0-1 from disconnected non-Stmt CFG nodes

  completed successfully:
  ⚙️ Extra Rule Validation#4163:Pull request#1144openedbycastler
  castler:fix_0_0_1_with_orphan_blocks

  Jun 19, 202623s
  More actions for workflow run 4163

• Use the new dataflow module without affecting any tested behavior

  completed successfully:
  ⚙️ Extra Rule Validation#4162:Pull request#1142synchronizebymbaluda
  mbaluda-new-dataflow

  Jun 18, 202619s
  More actions for workflow run 4162

• Use the new dataflow module without affecting any tested behavior

  completed successfully:
  ⚙️ Extra Rule Validation#4161:Pull request#1142synchronizebymbaluda
  mbaluda-new-dataflow

  Jun 18, 202627s
  More actions for workflow run 4161

• Use the new dataflow module without affecting any tested behavior

  completed successfully:
  ⚙️ Extra Rule Validation#4160:Pull request#1142openedbymbaluda
  mbaluda-new-dataflow

  Jun 18, 202620s
  More actions for workflow run 4160

• Introduce support for agentic autofix

  completed successfully:
  ⚙️ Extra Rule Validation#4159:Pull request#1136synchronizebymbaluda
  mbaluda-autofix

  Jun 18, 202629s
  More actions for workflow run 4159

• Merge pull request #1139 from github/release-automation/bump-version-…

  completed successfully:
  ⚙️ Extra Rule Validation#4158:Commit0e865b6pushedbygithub-merge-queue[bot]Bot
  main

  Jun 18, 202623s
  More actions for workflow run 4158

• Introduce support for agentic autofix

  completed successfully:
  ⚙️ Extra Rule Validation#4157:Pull request#1136synchronizebymbaluda
  mbaluda-autofix

  Jun 18, 202624s
  More actions for workflow run 4157

• ⚙️ Extra Rule Validation

  completed successfully:
  ⚙️ Extra Rule Validation#4156:Merge group checks requested
  Jun 18, 202625s
  More actions for workflow run 4156

• RULE-8-2-10: Avoid callers of recursive functions being flagged

  completed successfully:
  ⚙️ Extra Rule Validation#4155:Pull request#1141openedbycastler
  castler:fix_8_2_10_false_positive

  Jun 18, 202623s
  More actions for workflow run 4155

• Fix FPs for unsigned operations in INT30-C and RULE-8-20-1

  completed successfully:
  ⚙️ Extra Rule Validation#4154:Pull request#1140synchronizebymbaluda
  mbaluda-FP-wrap

  Jun 18, 20261m 0s
  More actions for workflow run 4154

• Fix FPs for unsigned operations in INT30-C and RULE-8-20-1

  completed successfully:
  ⚙️ Extra Rule Validation#4153:Pull request#1140synchronizebymbaluda
  mbaluda-FP-wrap

  Jun 18, 20261m 2s
  More actions for workflow run 4153

• Fix FPs for unsigned operations in INT30-C and RULE-8-20-1

  completed successfully:
  ⚙️ Extra Rule Validation#4152:Pull request#1140openedbymbaluda
  mbaluda-FP-wrap

  Jun 18, 202626s
  More actions for workflow run 4152

• Introduce support for agentic autofix

  completed successfully:
  ⚙️ Extra Rule Validation#4151:Pull request#1136synchronizebymbaluda
  mbaluda-autofix

  Jun 18, 202628s
  More actions for workflow run 4151

• Introduce support for agentic autofix

  completed successfully:
  ⚙️ Extra Rule Validation#4150:Pull request#1136synchronizebymbaluda
  mbaluda-autofix

  Jun 17, 202623s
  More actions for workflow run 4150

• Introduce support for agentic autofix

  completed successfully:
  ⚙️ Extra Rule Validation#4149:Pull request#1136synchronizebymbaluda
  mbaluda-autofix

  Jun 17, 202620s
  More actions for workflow run 4149

• Introduce support for agentic autofix

  completed successfully:
  ⚙️ Extra Rule Validation#4148:Pull request#1136synchronizebymbaluda
  mbaluda-autofix

  Jun 17, 20261m 0s
  More actions for workflow run 4148

• Introduce support for agentic autofix

  completed successfully:
  ⚙️ Extra Rule Validation#4147:Pull request#1136synchronizebymbaluda
  mbaluda-autofix

  Jun 17, 202622s
  More actions for workflow run 4147

• Introduce support for agentic autofix

  completed successfully:
  ⚙️ Extra Rule Validation#4146:Pull request#1136synchronizebymbaluda
  mbaluda-autofix

  Jun 17, 202616s
  More actions for workflow run 4146

• Introduce support for agentic autofix

  completed successfully:
  ⚙️ Extra Rule Validation#4145:Pull request#1136synchronizebymbaluda
  mbaluda-autofix

  Jun 17, 202621s
  More actions for workflow run 4145