Extra debug info for the KLSP · runtimeverification/k@a352605

Triggered via pull request December 12, 2023 17:20

opened #3872

extraDebugInfo

Status Success

Total duration 1h 13m 3s

Artifacts 1

test-pr.yml

on: pull_request

Matrix: Nix flake

Produced during runtime

Name	Size
kframework.deb Expired	157 MB