Use prebuilt z3 images · runtimeverification/k@8c05f64

Triggered via pull request October 5, 2023 16:59

F-WRunTime

synchronize #3694

z3-images

Status Success

Total duration 44m 9s

Artifacts 1

test-pr.yml

on: pull_request

Matrix: Nix flake

Produced during runtime

Name	Size
kframework.deb Expired	139 MB