Skip to content
Native security qualification

Close GAP-04 context and resume proof correspondence #232

Sign in to view logs

Close GAP-04 context and resume proof correspondence

Close GAP-04 context and resume proof correspondence #232

Triggered via pull request September 14, 2026 18:58
@dollspace-gaydollspace-gay
synchronize #78
feature/formal-context-gap4
Status Success
Total duration 11m 14s
Artifacts 3

security-qualification.yml

on: pull_request
Matrix: native-security
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
h0-linux
59.7 KB
sha256:ae868a04321536ead0eec47f8d2ed97ffad1806a2b8906921c005e1537424850
h0-macos
3.95 KB
sha256:bcd8c15b7f1ca40243a50f1c5c00bb96a4b143ccaaa80912819bba9b87fae85c
h0-windows
4.45 KB
sha256:e58e018e8d0e0b3f6eb42a99da23b1eb50890273033e8e8733a6d7e066e27424