Skip to content
Kissat

Update CaDiCaL to version 2.1.3 #669

Sign in to view logs

Update CaDiCaL to version 2.1.3

Update CaDiCaL to version 2.1.3 #669

Triggered via pull request February 11, 2025 10:59
@chrjabschrjabs
opened #266
cadical-update
Status Success
Total duration 2m 12s
Artifacts –

kissat.yml

on: pull_request
Matrix: Build and test
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Build and test (ubuntu-latest)
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
Build and test (macos-latest)
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