CaDiCaL

chore: release #33

Sign in to view logs

Triggered via pull request February 22, 2024 14:14

chrjabs

synchronize #57

release-plz-2024-01-15T09-03-39Z

Status Success

Total duration 1m 36s

Artifacts –

cadical.yml

on: pull_request

Matrix: Build and test