Build NixOS manual v2

z3: 4.8.17 -> 4.13.4; z3_4_12: 4.12.5 -> 4.12.6 #1580

Sign in to view logs

Triggered via pull request November 22, 2024 16:34

numinit

synchronize #327052

Status Success

Total duration 1m 37s

Artifacts –

manual-nixos-v2.yml

on: pull_request_target

nixos-manual-build