Update `cairo-platinum` to `cairo-platinum-prover` in Makefile (#238) #940

Sign in to view logs

Triggered via push August 28, 2023 21:28

github-merge-queue[bot]

main

Status Success

Total duration 18m 33s

Artifacts –

ci.yaml

on: push

Test (Ubuntu, Sequential)

Test (Ubuntu, Parallel)

Test (macOS, Apple sillicon)