Skip to content
CaDiCaL

Development #29

Sign in to view logs

Development

Development #29

Triggered via pull request February 22, 2024 13:49
@chrjabschrjabs
synchronize #62
develop
Status Success
Total duration 3m 14s
Artifacts –

cadical.yml

on: pull_request
Matrix: Build and test
Fit to window
Zoom out
Zoom in