Build and cache with Nix

Fix the Z3 referenced in the flake to 4.11 #344

Sign in to view logs

Triggered via push December 22, 2023 20:21

jwiegley

johnw/z3-flake

Status Success

Total duration 7m 30s

Artifacts –

nix.yml

on: push

Matrix: build-and-cache