BatSat

feat!: add `evaluate`, replacing `is_sat` #24

Sign in to view logs

Triggered via push July 17, 2024 08:04

chrjabs

next-major

Status Success

Total duration 2m 19s

Artifacts –

batsat.yml

on: push

Matrix: Build and test