Move nailgun to lib/kframework/bin · runtimeverification/k@ab46e70

Triggered via pull request November 27, 2023 18:14

gtrepta

synchronize #3825

nailgun-location

Status Success

Total duration 42m 36s

Artifacts 1

test-pr.yml

on: pull_request

Matrix: Nix flake

Produced during runtime

Name	Size
kframework.deb Expired	146 MB