All workflows

Workflow runs

• Tests

  completed successfully:
  Tests#175:Scheduled
  main

  Oct 21, 202634m 43s
  More actions for workflow run 175

• Tests

  completed successfully:
  Tests#174:Scheduled
  main

  Oct 20, 202639m 23s
  More actions for workflow run 174

• Tests

  completed successfully:
  Tests#173:Scheduled
  main

  Oct 19, 202640m 1s
  More actions for workflow run 173

• Tests

  completed successfully:
  Tests#172:Scheduled
  main

  Oct 18, 202636m 30s
  More actions for workflow run 172

• Tests

  completed successfully:
  Tests#171:Scheduled
  main

  Oct 17, 202639m 20s
  More actions for workflow run 171

• Tests

  completed successfully:
  Tests#170:Scheduled
  main

  Oct 16, 202639m 23s
  More actions for workflow run 170

• Tests

  completed successfully:
  Tests#169:Scheduled
  main

  Oct 15, 202641m 19s
  More actions for workflow run 169

• Tests

  completed successfully:
  Tests#168:Scheduled
  main

  Oct 14, 202645m 40s
  More actions for workflow run 168

• Tests

  completed successfully:
  Tests#167:Scheduled
  main

  Oct 13, 202646m 23s
  More actions for workflow run 167

• Tests

  completed successfully:
  Tests#166:Scheduled
  main

  Oct 12, 202646m 58s
  More actions for workflow run 166

• Tests

  completed successfully:
  Tests#165:Scheduled
  main

  Oct 11, 202646m 8s
  More actions for workflow run 165

• Tests

  completed successfully:
  Tests#164:Scheduled
  main

  Oct 10, 202643m 42s
  More actions for workflow run 164

• Receiver-aware spec matching: Java declared types and overload resolu…

  completed successfully:
  Tests#163:Commit2499efepushedbycodelion
  main

  Oct 10, 202643m 13s
  More actions for workflow run 163

• Disjunctive path-condition join and infeasible-edge pruning in every …

  completed successfully:
  Tests#162:Commit44609fcpushedbycodelion
  main

  Oct 9, 202643m 54s
  More actions for workflow run 162

• Decide C null and uninitialized defects with the SL/Z3 checker; lower…

  completed successfully:
  Tests#161:Commit561f9adpushedbycodelion
  main

  Oct 9, 202643m 36s
  More actions for workflow run 161

• Improve JS and C/C++ recall; fix false positives found on real code

  completed successfully:
  Tests#160:Commita933197pushedbycodelion
  main

  Oct 9, 202646m 48s
  More actions for workflow run 160

• Graph Update: pip in /. #1618814981

  completed successfully:
  Dependency Graph#2:bydependabot[bot]Bot
  main

  Oct 9, 20261m 1s

• Fix scan extra, flaky timeout test; add CI matrix, lint, suppressions…

  completed successfully:
  Tests#159:Commit376c385pushedbycodelion
  main

  Oct 9, 20261h 19m 10s
  More actions for workflow run 159

• Merge pull request #8 from franchb/fix/skip-agent-worktree-dirs

  completed successfully:
  Tests#158:Commitf477e28pushedbycodelion
  main

  Sep 30, 202650m 42s
  More actions for workflow run 158

• Merge pull request #7 from franchb/fix/secret-literal-value-shape

  completed successfully:
  Tests#157:Commit2029f83pushedbycodelion
  main

  Sep 30, 202651m 32s
  More actions for workflow run 157

• Merge pull request #6 from franchb/fix/call-sanitization-intersection

  completed successfully:
  Tests#156:Commit87ce266pushedbycodelion
  main

  Sep 30, 202650m 17s
  More actions for workflow run 156

• Merge pull request #5 from franchb/fix/feasibility-guard-polarity

  completed successfully:
  Tests#155:Commit340a3ffpushedbycodelion
  main

  Sep 30, 202653m 0s
  More actions for workflow run 155

• Directory scans skip agent worktree copies and other tool state by default

  completed successfully:
  Tests#154:Pull request#8openedbyfranchb
  franchb:fix/skip-agent-worktree-dirs

  Sep 24, 202651m 13s
  More actions for workflow run 154

• Gate name-based hardcoded-secret rules on the literal's value shape

  completed successfully:
  Tests#153:Pull request#7synchronizebyfranchb
  franchb:fix/secret-literal-value-shape

  Sep 24, 202652m 49s
  More actions for workflow run 153

• Gate name-based hardcoded-secret rules on the literal's value shape

  failed:
  Tests#152:Pull request#7synchronizebyfranchb
  franchb:fix/secret-literal-value-shape

  Sep 24, 20265d 11h 48m 28s
  More actions for workflow run 152