Skip to content

Actions: valkyoth/sanitization

Actions

Miri Verification

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
miri.yml
181 workflow runs
181 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
Record 2.0.1 documentation review Miri Verification #181: Commit a4b86ac pushed by eldryoth
1m 57s main
main
1m 57s
Prepare sanitization 2.0.1 documentation fix Miri Verification #180: Commit 0011490 pushed by eldryoth
1m 58s main
main
1m 58s
Record 2.0.0 pentest pass Miri Verification #179: Commit 00e2391 pushed by eldryoth
2m 2s main
main
2m 2s
Resolve API inventory paths in process Miri Verification #178: Commit d51af1e pushed by eldryoth
1m 59s main
main
1m 59s
Validate complete API freeze inventory Miri Verification #177: Commit f39ce55 pushed by eldryoth
2m 5s main
main
2m 5s
Make protection reports fail closed Miri Verification #176: Commit 8d8711f pushed by eldryoth
2m 3s main
main
2m 3s
Retain memory locks after failed sealed cleanup Miri Verification #175: Commit a5f7f57 pushed by eldryoth
2m 12s main
main
2m 12s
Use reviewed comparison backend by default Miri Verification #174: Commit b354bf1 pushed by eldryoth
1m 58s main
main
1m 58s
Normalize leakage collector arguments Miri Verification #173: Commit 2e0a537 pushed by eldryoth
2m 1s main
main
2m 1s
Scope platform fault injection tests Miri Verification #172: Commit be0593d pushed by eldryoth
2m 23s main
main
2m 23s
Preserve aggregate sanitization on drop Miri Verification #171: Commit 74ac25b pushed by eldryoth
2m 3s main
main
2m 3s
Harden sanitize-on-drop pinning contract Miri Verification #170: Commit 459277a pushed by eldryoth
2m 7s main
main
2m 7s
Raise bytes dependency above advisory floor Miri Verification #169: Commit 8c4c8b5 pushed by eldryoth
2m 12s main
main
2m 12s
Fix ArrayVec uninitialized backing wipe Miri Verification #168: Commit 09ea1c1 pushed by eldryoth
1m 56s main
main
1m 56s
Close strict comparison and canary lifecycle gaps Miri Verification #167: Commit fab67e7 pushed by eldryoth
2m 14s main
main
2m 14s
Detect explicit initialization error suppression Miri Verification #166: Commit 82f3910 pushed by eldryoth
2m 4s main
main
2m 4s
Harden deployment and canary lifecycle controls Miri Verification #165: Commit 53a1d7d pushed by eldryoth
1m 45s main
main
1m 45s
Prefer checked in-place secret initialization Miri Verification #164: Commit 614fb08 pushed by eldryoth
1m 42s main
main
1m 42s
Enforce high-assurance storage policies Miri Verification #163: Commit 0024136 pushed by eldryoth
1m 53s main
main
1m 53s
Add bounded dynamic secret constructors Miri Verification #162: Commit a88c6ab pushed by eldryoth
2m 10s main
main
2m 10s
Fail closed on pool initialization errors Miri Verification #161: Commit b0c9053 pushed by eldryoth
2m 10s main
main
2m 10s
Preserve secret initialization failures Miri Verification #160: Commit 5efc8b8 pushed by eldryoth
2m 6s main
main
2m 6s
Enforce dependency supply-chain policy Miri Verification #159: Commit 3974a54 pushed by eldryoth
2m 4s main
main
2m 4s
Address security review findings Miri Verification #158: Commit 6664c36 pushed by eldryoth
2m 12s main
main
2m 12s
Avoid fixed nonces in migration tests Miri Verification #157: Commit d80b845 pushed by eldryoth
2m 4s main
main
2m 4s