K Framework Release 4420/merge · runtimeverification/k@0aefc41

Triggered via pull request June 6, 2024 09:33

synchronize #4420

fix-pyk-docs

Status Failure

Total duration 16m 4s

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