Move nailgun to lib/kframework/bin · runtimeverification/k@2fc5421

Triggered via pull request November 21, 2023 21:19

gtrepta

opened #3825

nailgun-location

Status Cancelled

Total duration 38m 12s

Artifacts 1

test-pr.yml

on: pull_request

Matrix: Nix flake

3 errors

Process completed with exit code 1.

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

The operation was canceled.

Produced during runtime

Name	Size
kframework.deb Expired	146 MB