Fix nightly ci. #1433
Fix nightly ci. #1433
Conversation
gilbens-starkware
force-pushed
the
gil/fix_nightly_ci
branch
from
3d6d6b8 to
225db21
Compare
There was a problem hiding this comment.
Successful run: https://github.com/starkware-libs/stwo-cairo/actions/runs/18708818397/job/53352139779
(compilation used to fail and now it passed, tests are not done yet.)
Reviewable status: 0 of 1 files reviewed, all discussions resolved (waiting on @Gali-StarkWare)
gilbens-starkware
force-pushed
the
gil/fix_nightly_ci
branch
from
225db21 to
77dd624
Compare
gilbens-starkware
force-pushed
the
gil/fix_nightly_ci
branch
from
77dd624 to
864eb64
Compare
There was a problem hiding this comment.
@Gali-StarkWare reviewed 1 of 1 files at r1, all commit messages.
Reviewable status:complete! all files reviewed, all discussions resolved (waiting on @gilbens-starkware)
There was a problem hiding this comment.
Reviewable status: all files reviewed, 1 unresolved discussion (waiting on @gilbens-starkware)
.github/workflows/nightly.yaml line 25 at r1 (raw file):
uses: software-mansion/setup-scarb@v1 with: scarb-version: "2.12.2"
Wait, that's not the prover's version
There was a problem hiding this comment.
Reviewable status:
.github/workflows/nightly.yaml line 25 at r1 (raw file):
Previously, Gali-StarkWare wrote…
Wait, that's not the prover's version
nevermind I see it was like this before, just something to think about
2 participants
This change is