Skip to content
Crypto Proofs Check

CI: skip duplicated workflow #31

Sign in to view logs

CI: skip duplicated workflow

CI: skip duplicated workflow #31

Triggered via push December 7, 2023 11:21
@strubstrub
pushed bc258e8
ci-skip
Status Success
Total duration 1m 56s
Artifacts –

ci.yml

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