Skip to content
Crypto Proofs Check

Basic CI setup #24

Sign in to view logs

Basic CI setup

Basic CI setup #24

Triggered via push December 7, 2023 10:46
@strubstrub
pushed 4bea5b6
main
Status Success
Total duration 4m 2s
Artifacts –

ci.yml

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