CaDiCaL

chore: release #13

Sign in to view logs

Triggered via pull request January 11, 2024 13:17

chrjabs

opened #54

release-plz-2024-01-11T13-17-21Z

Status Success

Total duration 1m 43s

Artifacts –

cadical.yml

on: pull_request

Matrix: Build and test