Manually update booster · runtimeverification/k@4dc059b

Triggered via pull request January 19, 2024 08:25

geo2a

edited #3913

update-booster

Status Success

Total duration 1h 6m 51s

Artifacts 1

test-pr.yml

on: pull_request

Matrix: Nix flake

Produced during runtime

Name	Size
kframework.deb Expired	158 MB