K Framework Release 4420/merge · runtimeverification/k@18a939d

Triggered via pull request June 6, 2024 13:07

synchronize #4420

fix-pyk-docs

Status Failure

Total duration 36m 41s

Artifacts 2

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
pyk-docs Expired	3.02 MB