Skip to content
CaDiCaL

Compiler and clippy update #730

Sign in to view logs

Compiler and clippy update

Compiler and clippy update #730

Triggered via pull request February 24, 2025 10:49
@chrjabschrjabs
synchronize #285
compiler-update
Status Success
Total duration 4m 58s
Artifacts –

cadical.yml

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