Skip to content
Crypto Proofs Check

CI: skip duplicated workflow #33

Sign in to view logs

CI: skip duplicated workflow

CI: skip duplicated workflow #33

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

ci.yml

on: push
Check for Duplicates Jobs
3s
Check for Duplicates Jobs
Compile & Cache EasyCrypt
44s
Compile & Cache EasyCrypt
Matrix: Compile Project
Fit to window
Zoom out
Zoom in