Use new Z3 image location · runtimeverification/k@bc64cd7

Triggered via pull request October 11, 2023 19:59

Baltoli

synchronize #3702

z3-image-new

Status Success

Total duration 38m 24s

Artifacts 1

test-pr.yml

on: pull_request

Matrix: Nix flake

Produced during runtime

Name	Size
kframework.deb Expired	139 MB