K Framework Release 4420/merge · runtimeverification/k@1cfba56

Re-run triggered June 6, 2024 11:01

#4420

fix-pyk-docs

Status Failure

Total duration 20m 26s

Artifacts 1

release.yml

on: pull_request

1 error

Process completed with exit code 1.

Produced during runtime

Name	Size
kframework_amd64_ubuntu_jammy.deb Expired	178 MB