BatSat

Merge branch 'feat/moo-pb-encodings' into next-major #30

Sign in to view logs

Triggered via push August 19, 2024 11:00

chrjabs

next-major

Status Success

Total duration 2m 23s

Artifacts –

batsat.yml

on: push

Matrix: Build and test