CodeQL Advanced

Workflow runs for CodeQL Advanced

• CodeQL Advanced

  completed successfully:
  CodeQL Advanced#247:Scheduled
  main

  Oct 16, 20261m 43s
  More actions for workflow run 247

• test(format): use imported types and remove redundant imports in regi…

  completed successfully:
  CodeQL Advanced#246:Commit51f7c54pushedbySamuelIVX
  main

  Oct 16, 20261m 57s
  More actions for workflow run 246

• fix(lint): resolve package directory mismatches and unused imports

  completed successfully:
  CodeQL Advanced#245:Commitc510abdpushedbySamuelIVX
  main

  Oct 16, 20261m 56s
  More actions for workflow run 245

• feat(dpor): implement dynamic property-aware partial order reduction …

  completed successfully:
  CodeQL Advanced#244:Commitf8c5cf9pushedbySamuelIVX
  main

  Oct 16, 20261m 44s
  More actions for workflow run 244

• feat(dpor): implement dynamic property-aware partial order reduction (Spec 15)

  completed successfully:
  CodeQL Advanced#243:Pull request#55synchronizebySamuelIVX
  feat/property-aware-dpor

  Oct 16, 20261m 51s
  More actions for workflow run 243

• feat(dpor): implement dynamic property-aware partial order reduction (Spec 15)

  cancelled:
  CodeQL Advanced#242:Pull request#55synchronizebySamuelIVX
  feat/property-aware-dpor

  Oct 16, 20261m 43s
  More actions for workflow run 242

• feat(dpor): implement dynamic property-aware partial order reduction (Spec 15)

  completed successfully:
  CodeQL Advanced#241:Pull request#55openedbySamuelIVX
  feat/property-aware-dpor

  Oct 16, 20261m 21s
  More actions for workflow run 241

• feat(minimize): harden DeltaDebugger mutation coverage and fix partit…

  completed successfully:
  CodeQL Advanced#240:Commit8f03519pushedbySamuelIVX
  main

  Oct 16, 20261m 53s
  More actions for workflow run 240

• feat(minimize): harden DeltaDebugger mutation coverage and fix partitioning bug

  completed successfully:
  CodeQL Advanced#239:Pull request#54synchronizebySamuelIVX
  feat/deltadebugger-mutation-hardening

  Oct 16, 20261m 26s
  More actions for workflow run 239

• feat(minimize): harden DeltaDebugger mutation coverage and fix partitioning bug

  completed successfully:
  CodeQL Advanced#238:Pull request#54openedbySamuelIVX
  feat/deltadebugger-mutation-hardening

  Oct 15, 20261m 39s
  More actions for workflow run 238

• CodeQL Advanced

  completed successfully:
  CodeQL Advanced#237:Scheduled
  main

  Oct 15, 20261m 30s
  More actions for workflow run 237

• CodeQL Advanced

  completed successfully:
  CodeQL Advanced#236:Scheduled
  main

  Oct 14, 20261m 42s
  More actions for workflow run 236

• CodeQL Advanced

  completed successfully:
  CodeQL Advanced#235:Scheduled
  main

  Oct 13, 20262m 8s
  More actions for workflow run 235

• feat: trace state snapshots and automated Playwright visualizer CI (#53)

  completed successfully:
  CodeQL Advanced#234:Commit708bc27pushedbySamuelIVX
  main

  Oct 13, 20261m 37s
  More actions for workflow run 234

• feat: trace state snapshots and automated Playwright visualizer CI

  completed successfully:
  CodeQL Advanced#233:Pull request#53synchronizebySamuelIVX
  feature/trace-snapshots-and-visualizer-ci

  Oct 13, 20261m 32s
  More actions for workflow run 233

• feat: trace state snapshots and automated Playwright visualizer CI

  completed successfully:
  CodeQL Advanced#232:Pull request#53openedbySamuelIVX
  feature/trace-snapshots-and-visualizer-ci

  Oct 13, 20261m 44s
  More actions for workflow run 232

• CodeQL Advanced

  completed successfully:
  CodeQL Advanced#231:Scheduled
  main

  Oct 12, 20261m 35s
  More actions for workflow run 231

• Generalize Peterson invariant to N threads and add DSL local arrays (…

  completed successfully:
  CodeQL Advanced#230:Commitf8338e1pushedbySamuelIVX
  main

  Oct 12, 20261m 36s
  More actions for workflow run 230

• Generalize Peterson invariant to N threads and add DSL local arrays

  completed successfully:
  CodeQL Advanced#229:Pull request#52synchronizebySamuelIVX
  feature/n-thread-peterson-and-dsl-local-arrays

  Oct 12, 20261m 19s
  More actions for workflow run 229

• Generalize Peterson invariant to N threads and add DSL local arrays

  completed successfully:
  CodeQL Advanced#228:Pull request#52synchronizebySamuelIVX
  feature/n-thread-peterson-and-dsl-local-arrays

  Oct 12, 20261m 32s
  More actions for workflow run 228

• Generalize Peterson invariant to N threads and add DSL local arrays

  completed successfully:
  CodeQL Advanced#227:Pull request#52openedbySamuelIVX
  feature/n-thread-peterson-and-dsl-local-arrays

  Oct 12, 20261m 40s
  More actions for workflow run 227

• fix(search,minimize): validate replay outcomes and allow deadlocked i…

  completed successfully:
  CodeQL Advanced#226:Commit6f69389pushedbySamuelIVX
  main

  Oct 12, 20261m 23s
  More actions for workflow run 226

• fix(search,minimize): validate replay outcomes and allow deadlocked invariant minimization

  completed successfully:
  CodeQL Advanced#225:Pull request#51synchronizebycoderabbitai[bot]Bot
  fix/trace-replayer-and-delta-debugger

  Oct 12, 20261m 29s
  More actions for workflow run 225

• fix(search,minimize): validate replay outcomes and allow deadlocked invariant minimization

  completed successfully:
  CodeQL Advanced#224:Pull request#51openedbySamuelIVX
  fix/trace-replayer-and-delta-debugger

  Oct 12, 20261m 35s
  More actions for workflow run 224

• fix: escape special characters in JSON reports and trace records (#50)

  completed successfully:
  CodeQL Advanced#223:Commit5247280pushedbySamuelIVX
  main

  Oct 11, 20261m 29s
  More actions for workflow run 223