Skip to content
Crypto Proofs Check

CI: skip duplicated workflows #32

Sign in to view logs

CI: skip duplicated workflows

CI: skip duplicated workflows #32

Triggered via pull request December 7, 2023 11:21
@strubstrub
synchronize #5
ci-skip
Status Success
Total duration 1m 51s
Artifacts –

ci.yml

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