Skip to content
Crypto Proofs Check

Basic CI setup #20

Sign in to view logs

Basic CI setup

Basic CI setup #20

Triggered via push December 7, 2023 09:45
@strubstrub
pushed c4033c0
ci
Status Success
Total duration 2m 1s
Artifacts –

ci.yml

on: push
Compile & Cache EasyCrypt
48s
Compile & Cache EasyCrypt
Matrix: Compile Project
Fit to window
Zoom out
Zoom in