Update nix hashes

[DMS-31] Bump z3 solver #17

Sign in to view logs

Summary
Jobs
- update-hash
Run details
- Usage
- Workflow file

Triggered via push April 25, 2024 12:00

rvem

motoko-san/viper-ci

Status Failure

Total duration 15s

Artifacts –

update-hash.yml

on: push

Annotations

1 error

update-hash

Input required and not supplied: token