BatSat

feat: kissat v4.0.0 #26

Sign in to view logs

Triggered via push August 5, 2024 12:07

chrjabs

next-major

Status Success

Total duration 2m 10s

Artifacts –

batsat.yml

on: push

Matrix: Build and test