Skip to content
Crypto Proofs Check

Basic CI setup #23

Sign in to view logs

Basic CI setup

Basic CI setup #23

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

ci.yml

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