Skip to content
Extract & Check proofs

Fix w.r.t. EasyCrypt c0e1455 #32

Sign in to view logs

Fix w.r.t. EasyCrypt c0e1455

Fix w.r.t. EasyCrypt c0e1455 #32

Triggered via push April 13, 2024 15:07
@strubstrub
pushed 7222f3f
master
Status Success
Total duration 2h 22m 19s
Artifacts –

extract-and-prove.yml

on: push
Build & Prove
2h 22m
Build & Prove
Fit to window
Zoom out
Zoom in