Skip to content
CaDiCaL

Development #30

Sign in to view logs

Development

Development #30

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

cadical.yml

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