Skip to content
CaDiCaL

Update flake setup #656

Sign in to view logs

Update flake setup

Update flake setup #656

Triggered via pull request February 7, 2025 08:43
@chrjabschrjabs
opened #264
nix-flake
Status Success
Total duration 4m 9s
Artifacts –

cadical.yml

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