Cairo workflow

proving prelude #4321

Sign in to view logs

Triggered via pull request February 13, 2025 13:36

alon-dotan-starkware

edited #522

ohad/proving_prelude

Status Success

Total duration 9m 57s

Artifacts –

cairo-ci.yaml

on: pull_request

merge-gatekeeper

Annotations

1 error and 1 warning

There was an error when restoring cache: failed to find Scarb.lock

Unexpected input(s) 'profile', valid inputs are ['toolchain', 'targets', 'target', 'components']