[draft] slimmer nix · runtimeverification/k@83e461f

Triggered via pull request October 19, 2023 08:28

edited #3727

sam/slim-nix

Status Success

Total duration 34m 11s

Artifacts 1

test-pr.yml

on: pull_request

Matrix: Nix flake

Produced during runtime

Name	Size
kframework.deb Expired	140 MB