Skip to content
Crypto Proofs Check

Basic CI setup #21

Sign in to view logs

Basic CI setup

Basic CI setup #21

Triggered via pull request December 7, 2023 09:49
@strubstrub
opened #4
ci
Status Success
Total duration 4m 8s
Artifacts –

ci.yml

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