Arrabbiata: coining alpha challenge + implement generic coin_challenge #1044
Triggered via pull request
February 12, 2025 21:05
dannywillems
Status
Success
Total duration
1h 9m 3s
Artifacts
–
Annotations
4 warnings
|
Run o1vm with cached data (1.74, 4.14)
Cache not found for keys: v3-setup-ocaml-opam-eee6b1acc96acdc4547d737658a2b82403ef1e5dddc76374c16f9f43a8fbfd1e, v3-setup-ocaml-opam-eee6b1acc96acdc4547d737658a2b82403ef1e5dddc76374c16f9f43a8fbfd1e
|
|
Run o1vm with cached data (1.74, 4.14)
Cache not found for keys: linux-foundry-chain-fork-run_o1vm_with_cached_data-4c5594f418cf136e96be13d2de571820b0bdbe42, linux-foundry-chain-fork-run_o1vm_with_cached_data-, linux-foundry-chain-fork-
|
|
Run o1vm with cached data (1.74, 4.14)
Cache not found for keys: v0-rust-run_o1vm_with_cached_data-Linux-7c78e86a-2e3a2d4a, v0-rust-run_o1vm_with_cached_data-Linux-7c78e86a
|
|
Run o1vm with cached data (1.74, 4.14)
Restore cache failed: Dependencies file is not found in /home/runner/work/proof-systems/proof-systems. Supported file pattern: go.sum
|