Skip to content
CaDiCaL

Development #31

Sign in to view logs

Development

Development #31

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

cadical.yml

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