update the version of a couple vulnerable dependencies · runtimeverification/k@27459c6

Triggered via pull request October 31, 2023 15:43

rv-jenkins

synchronize #3775

deps2

Status Failure

Total duration 47m 9s

Artifacts 1

test-pr.yml

on: pull_request

Matrix: Nix flake

2 errors

Process completed with exit code 137.

Process completed with exit code 1.

Produced during runtime

Name	Size
kframework.deb Expired	145 MB