Skip to content

Actions: aruintelligence/aml-core

Actions

AML CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
485 workflow runs
485 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
Bind action receipts to one validated dispatch snapshot (#340) AML CodeQL Security Analysis #485: Commit 6644018 pushed by aruintelligence
4m 29s main
main
4m 29s
Fix receipt and callback digest split from a changing proposal AML CodeQL Security Analysis #484: Pull request #340 opened by aruintelligence
1m 49s codex/single-snapshot-dispatch
codex/single-snapshot-dispatch
1m 49s
Prove exact policy tuple matching across three fields (#339) AML CodeQL Security Analysis #483: Commit e3f6240 pushed by aruintelligence
5m 0s main
main
5m 0s
Close tool and effect proof gaps with an eight-case policy tuple AML CodeQL Security Analysis #482: Pull request #339 opened by aruintelligence
1m 36s codex/policy-tuple-lattice
codex/policy-tuple-lattice
1m 36s
Align atlas labels with expanded matrix (#338) AML CodeQL Security Analysis #481: Commit 98fd9e7 pushed by aruintelligence
4m 21s main
main
4m 21s
Align atlas labels with the 384-case proof AML CodeQL Security Analysis #480: Pull request #338 opened by aruintelligence
1m 20s codex/dispatch-atlas-copy-384
codex/dispatch-atlas-copy-384
1m 20s
Cross resource scope through dispatch proof matrix (#337) AML CodeQL Security Analysis #479: Commit aa20ee6 pushed by aruintelligence
4m 16s main
main
4m 16s
Close the resource-scope blind spot across 384 dispatch vectors AML CodeQL Security Analysis #478: Pull request #337 opened by aruintelligence
1m 50s codex/dispatch-resource-cross-product
codex/dispatch-resource-cross-product
1m 50s
Expose dispatch matrix blind spot with source mutation probes (#336) AML CodeQL Security Analysis #477: Commit efb7bd7 pushed by aruintelligence
4m 41s main
main
4m 41s
Expose a dispatch matrix blind spot with source mutation probes AML CodeQL Security Analysis #476: Pull request #336 opened by aruintelligence
1m 36s codex/dispatch-mutation-probes
codex/dispatch-mutation-probes
1m 36s
Version atlas script by content for reliable deployment (#335) AML CodeQL Security Analysis #475: Commit 92d78d0 pushed by aruintelligence
4m 41s main
main
4m 41s
Load the matching atlas script after each deployment AML CodeQL Security Analysis #474: Pull request #335 opened by aruintelligence
1m 20s codex/dispatch-atlas-cache-key
codex/dispatch-atlas-cache-key
1m 20s
Preserve vector positions under atlas filters (#334) AML CodeQL Security Analysis #473: Commit 6a9c307 pushed by aruintelligence
4m 39s main
main
4m 39s
Keep proof matrix coordinates stable when filtering AML CodeQL Security Analysis #472: Pull request #334 opened by aruintelligence
1m 34s codex/dispatch-atlas-position-proof
codex/dispatch-atlas-position-proof
1m 34s
Add interactive atlas for bounded dispatch evidence (#333) AML CodeQL Security Analysis #471: Commit d9853cf pushed by aruintelligence
4m 42s main
main
4m 42s
Make the 192-vector dispatch evidence explorable AML CodeQL Security Analysis #470: Pull request #333 opened by aruintelligence
1m 21s codex/dispatch-proof-atlas
codex/dispatch-proof-atlas
1m 21s
Add bounded cross-product proof for action dispatch (#332) AML CodeQL Security Analysis #469: Commit b2b0821 pushed by aruintelligence
4m 24s main
main
4m 24s
Add bounded cross-product proof for action dispatch AML CodeQL Security Analysis #468: Pull request #332 opened by aruintelligence
1m 12s codex/dispatch-cross-product-proof
codex/dispatch-cross-product-proof
1m 12s
Compare rehearsal cases side by side (#331) AML CodeQL Security Analysis #467: Commit 250ead0 pushed by aruintelligence
4m 25s main
main
4m 25s
Compare two host rehearsal outcomes on the builder AML CodeQL Security Analysis #466: Pull request #331 opened by aruintelligence
1m 22s codex/rehearsal-case-compare
codex/rehearsal-case-compare
1m 22s
Add searchable rehearsal case picker (#330) AML CodeQL Security Analysis #465: Commit 552863c pushed by aruintelligence
5m 2s main
main
5m 2s
Make builder rehearsal cases searchable AML CodeQL Security Analysis #464: Pull request #330 opened by aruintelligence
1m 32s codex/rehearsal-case-search
codex/rehearsal-case-search
1m 32s
Show host mapper state change before pre-plan error (#329) AML CodeQL Security Analysis #463: Commit 694725f pushed by aruintelligence
4m 24s main
main
4m 24s
Show mapper state changes before a host pre-plan error AML CodeQL Security Analysis #462: Pull request #329 opened by aruintelligence
1m 32s codex/mapper-write-error-rehearsal
codex/mapper-write-error-rehearsal
1m 32s
Contrast invalid input receipts with host mapper errors (#328) AML CodeQL Security Analysis #461: Commit 3e04930 pushed by aruintelligence
4m 39s main
main
4m 39s