BatSat

fix: don't unnecessarily rebuild cadical #32

Sign in to view logs

Triggered via push August 23, 2024 13:11

chrjabs

next-major

Status Success

Total duration 1m 20s

Artifacts –

batsat.yml

on: push

Matrix: Build and test