Skip to content
Rust CI

proof(coq): discharge eval_respects_state_eq_{L,R} via deletion + ref… #105

Sign in to view logs

proof(coq): discharge eval_respects_state_eq_{L,R} via deletion + ref…

proof(coq): discharge eval_respects_state_eq_{L,R} via deletion + ref… #105

Triggered via push May 20, 2026 16:18
@hyperpolymathhyperpolymath
pushed 99ec572
main
Status Success
Total duration 11h 26m 25s
Artifacts –

rust-ci.yml

on: push
test
17s
test
security
7m 43s
security
coverage
2m 41s
coverage
Fit to window
Zoom out
Zoom in