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

Triggered via pull request October 31, 2023 15:01

dwightguth

synchronize #3775

deps2

Status Cancelled

Total duration 42m 30s

Artifacts 1

test-pr.yml

on: pull_request

Matrix: Nix flake

2 errors

Canceling since a higher priority waiting request for 'Test PR-refs/pull/3775/merge' exists

The operation was canceled.

Produced during runtime

Name	Size
kframework.deb Expired	145 MB