Skip to content
Back to pull request #57

Update cadical & correctly store user callback functions #195

Sign in to view logs

Update cadical & correctly store user callback functions

Update cadical & correctly store user callback functions #195

Triggered via pull request June 5, 2024 03:37
@Dekker1Dekker1
synchronize #57
Dekker1:fix/cadical-update
Status Success
Total duration 1m 41s
Artifacts –

rust.yml

on: pull_request
test
1m 20s
test
clippy
1m 31s
clippy
format
13s
format
Fit to window
Zoom out
Zoom in