Skip to content

Performance: parallelising kimchi prover more #1396

Performance: parallelising kimchi prover more

Performance: parallelising kimchi prover more #1396

Re-run triggered February 13, 2025 11:03
Status Success
Total duration 6h 47m 53s
Artifacts

ci.yml

on: pull_request
Matrix: Run checks and tests
Matrix: Formatting
Matrix: Building MDBook
Fit to window
Zoom out
Zoom in

Annotations

16 warnings
Run checks and tests (1.73, 4.14, 20)
Failed to restore: "/usr/bin/tar" failed with error: The process '/usr/bin/tar' failed with exit code 2
Run checks and tests (1.73, 4.14, 20)
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 checks and tests (1.76, 4.14, 20)
Failed to restore: "/usr/bin/tar" failed with error: The process '/usr/bin/tar' failed with exit code 2
Run checks and tests (1.76, 4.14, 20)
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 checks and tests (1.78, 4.14, 20)
Failed to restore: "/usr/bin/tar" failed with error: The process '/usr/bin/tar' failed with exit code 2
Run checks and tests (1.78, 4.14, 20)
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 checks and tests (1.75, 4.14, 20)
Failed to restore: "/usr/bin/tar" failed with error: The process '/usr/bin/tar' failed with exit code 2
Run checks and tests (1.75, 4.14, 20)
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 checks and tests (1.72, 4.14, 20)
Failed to restore: "/usr/bin/tar" failed with error: The process '/usr/bin/tar' failed with exit code 2
Run checks and tests (1.72, 4.14, 20)
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 checks and tests (1.77, 4.14, 20)
Failed to restore: "/usr/bin/tar" failed with error: The process '/usr/bin/tar' failed with exit code 2
Run checks and tests (1.77, 4.14, 20)
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 checks and tests (1.79, 4.14, 20)
Failed to restore: "/usr/bin/tar" failed with error: The process '/usr/bin/tar' failed with exit code 2
Run checks and tests (1.79, 4.14, 20)
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 checks and tests (1.74, 4.14, 20)
Cache not found for keys: Linux-apt-
Run checks and tests (1.74, 4.14, 20)
Cache not found for keys: v0-rust-run_checks-Linux-aa0308f4-2e3a2d4a, v0-rust-run_checks-Linux-aa0308f4