Arrabbiata: move challenge semantic into its own module #1038
Triggered via pull request
February 12, 2025 18:43
dannywillems
Status
Success
Total duration
1h 9m 19s
Artifacts
–
Annotations
5 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)
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
|
|
Run o1vm with cached data (1.74, 4.14)
Cache not found for keys: linux-foundry-chain-fork-run_o1vm_with_cached_data-7f0fad4b03a550f7ca04a0b7103e854f19c86a7c, 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
|