Skip to content
Check Dependencies

Update nix packages to get new bitwuzla 0.7 #364

Sign in to view logs

Update nix packages to get new bitwuzla 0.7

Update nix packages to get new bitwuzla 0.7 #364

Triggered via pull request June 26, 2025 22:55
@blishkoblishko
synchronize #781
update-nixpkgs
Status Success
Total duration 40s
Artifacts –

check-dependencies.yml

on: pull_request
check
35s
check
Fit to window
Zoom out
Zoom in