Skip to content

Actions: MEFORORG/MessageFoundry

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
1,252 workflow runs
1,252 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
ci(caps): re-derive the ubuntu anchor and size both caps to it (BACKL… CodeQL #1252: Commit e5bd07d pushed by wshallwshall
3m 18s main
main
3m 18s
ci(caps): re-derive the ubuntu anchor and size both caps to it (BACKLOG #1096) CodeQL #1251: Pull request #347 opened by wshallwshall
3m 17s claude/1096-ubuntu-cap-rederive
claude/1096-ubuntu-cap-rederive
3m 17s
fix(gate): recognise the interpreter flag by RULE and read rule 3d's victim quote-aware (BACKLOG #1097, #1064) CodeQL #1250: Pull request #343 synchronize by wshallwshall
2m 56s claude/1097-1064-gate-family
claude/1097-1064-gate-family
2m 56s
backlog: put #1226's SATISFIABLE proof condition first -- a retractio… CodeQL #1249: Commit 291a791 pushed by wshallwshall
3m 45s main
main
3m 45s
feat(seam): derive ENGINE_UI_SEAM from a runtime-discovered contract surface (BACKLOG #1220) CodeQL #1248: Pull request #346 opened by wshallwshall
3m 11s claude/instruments-config-handoff-e64adc
claude/instruments-config-handoff-e64adc
3m 11s
backlog: put #1226's satisfiable proof condition first, ahead of the clause it replaces CodeQL #1247: Pull request #345 opened by wshallwshall
2m 30s claude/1226-proof-condition-order
claude/1226-proof-condition-order
2m 30s
backlog: file #1232 and #1233, and correct three claims that were wro… CodeQL #1246: Commit 236a1ea pushed by wshallwshall
3m 19s main
main
3m 19s
backlog: file BACKLOG #1232 and #1233, and correct three claims that mislead in the dangerous direction CodeQL #1245: Pull request #344 opened by wshallwshall
3m 9s claude/ledger-2-items-3-corrections
claude/ledger-2-items-3-corrections
3m 9s
fix(gate): recognise the interpreter flag by RULE and read rule 3d's victim quote-aware (BACKLOG #1097, #1064) CodeQL #1244: Pull request #343 synchronize by wshallwshall
2m 27s claude/1097-1064-gate-family
claude/1097-1064-gate-family
2m 27s
fix(gate): recognise the interpreter flag by RULE and read rule 3d's victim quote-aware (BACKLOG #1097, #1064) CodeQL #1243: Pull request #343 opened by wshallwshall
3m 9s claude/1097-1064-gate-family
claude/1097-1064-gate-family
3m 9s
fix(config): redact the HTTP Digest username, and derive the guard's … CodeQL #1242: Commit 5f7eb55 pushed by wshallwshall
3m 15s main
main
3m 15s
fix(config): redact the HTTP Digest username, and derive the guard's injection vocabulary (BACKLOG #1223) CodeQL #1241: Pull request #342 opened by wshallwshall
2m 56s claude/1223-redact-http-auth-user
claude/1223-redact-http-auth-user
2m 56s
coord: raise the mail TTL to 72h, and wire the urgent rewake tier int… CodeQL #1240: Commit 06245f4 pushed by wshallwshall
3m 16s main
main
3m 16s
coord: raise the mail TTL to 72h, and wire the urgent rewake tier into the installer CodeQL #1239: Pull request #337 synchronize by wshallwshall
2m 58s w3-mail-wake-and-ttl
w3-mail-wake-and-ttl
2m 58s
ledger: file #1229 -- the gate's double-quote-first blanking straddle… CodeQL #1238: Commit a8a9fab pushed by wshallwshall
3m 11s main
main
3m 11s
ledger: file BACKLOG #1229 -- the gate's double-quote-first blanking straddles and hides live code CodeQL #1237: Pull request #341 opened by wshallwshall
2m 24s claude/coordinator-role-handoff-3be531
claude/coordinator-role-handoff-3be531
2m 24s
coord: raise the mail TTL to 72h, and wire the urgent rewake tier into the installer CodeQL #1236: Pull request #337 synchronize by wshallwshall
2m 53s w3-mail-wake-and-ttl
w3-mail-wake-and-ttl
2m 53s
backlog: close #1222 -- the fix shipped in ddee5c1d (PR #335) and the… CodeQL #1235: Commit ebf4882 pushed by wshallwshall
3m 16s main
main
3m 16s
backlog: close #1222 -- the fix shipped in ddee5c1d and the banner outlived it CodeQL #1234: Pull request #340 opened by wshallwshall
2m 52s w3-close-1222
w3-close-1222
2m 52s
Merge pull request #339 from MEFORORG/w3-file-expiry-silence CodeQL #1233: Commit 1bfe720 pushed by wshallwshall
3m 18s main
main
3m 18s
backlog: file #1228 -- mail expiry is silent in both directions, and candidate (a) is measured out CodeQL #1232: Pull request #339 opened by wshallwshall
2m 56s w3-file-expiry-silence
w3-file-expiry-silence
2m 56s
coord: raise the mail TTL to 72h, and wire the urgent rewake tier into the installer CodeQL #1231: Pull request #337 synchronize by wshallwshall
3m 8s w3-mail-wake-and-ttl
w3-mail-wake-and-ttl
3m 8s
Merge pull request #338 from MEFORORG/claude/asvs-1152-uploads-object… CodeQL #1230: Commit cf02d34 pushed by wshallwshall
3m 9s main
main
3m 9s
coord: raise the mail TTL to 72h, and wire the urgent rewake tier into the installer CodeQL #1229: Pull request #337 synchronize by wshallwshall
3m 7s w3-mail-wake-and-ttl
w3-mail-wake-and-ttl
3m 7s
fix(uploads): object-level authorization keyed on the immutable user_id (ASVS 8.2.2, #1152) CodeQL #1228: Pull request #338 opened by wshallwshall
3m 4s claude/asvs-1152-uploads-object-authz
claude/asvs-1152-uploads-object-authz
3m 4s