Fix release by installing Calibre 6 · runtimeverification/k@7388566

Triggered via pull request October 23, 2023 13:19

Baltoli

synchronize #3742

calibre

Status Success

Total duration 32m 31s

Artifacts 1

test-pr.yml

on: pull_request

Matrix: Nix flake

Produced during runtime

Name	Size
kframework.deb Expired	139 MB