Update CaDiCaL from 2.0.0 to 3.0.0 #1631
Triggered via pull request
November 25, 2025 21:03
tautschnig
Status
Success
Total duration
26m 33s
Artifacts
–
performance.yaml
on: pull_request
perf-benchcomp
26m 30s