K Framework Release 4420/merge · runtimeverification/k@aa13d1d

Triggered via pull request June 6, 2024 11:43

synchronize #4420

fix-pyk-docs

Status Failure

Total duration 25m 1s

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