Move nailgun to lib/kframework/bin · runtimeverification/k@7ab650e

Triggered via pull request November 21, 2023 21:57

gtrepta

synchronize #3825

nailgun-location

Status Success

Total duration 55m 10s

Artifacts 1

test-pr.yml

on: pull_request

Matrix: Nix flake

Produced during runtime

Name	Size
kframework.deb Expired	146 MB