Skip to content
Crypto Proofs Check

CI: skip duplicated workflow #27

Sign in to view logs

CI: skip duplicated workflow

CI: skip duplicated workflow #27

Triggered via push December 7, 2023 11:14
@strubstrub
pushed 5fb0fc3
ci-skip
Status Success
Total duration 2m 2s
Artifacts –

ci.yml

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