Skip to content
CaDiCaL

Development #21

Sign in to view logs

Development

Development #21

Triggered via pull request February 13, 2024 11:21
@chrjabschrjabs
synchronize #61
develop
Status Success
Total duration 3m 42s
Artifacts –

cadical.yml

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