Skip to content
Crypto Proofs Check

CI: skip duplicated workflow #29

Sign in to view logs

CI: skip duplicated workflow

CI: skip duplicated workflow #29

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

ci.yml

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