Skip to content
Extract & Check proofs

Update EasyCrypt #48

Sign in to view logs

Update EasyCrypt

Update EasyCrypt #48

Triggered via push May 24, 2024 12:53
@vbglvbgl
pushed 5358a27
master
Status Success
Total duration 2h 27m 53s
Artifacts –

extract-and-prove.yml

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