Update booster to a version compatible with latest llvm backend · runtimeverification/k@d21f908

Triggered via pull request January 19, 2024 01:02

jberthold

opened #3911

Status Success

Total duration 35m 3s

Artifacts 1

test-pr.yml

on: pull_request

Matrix: Nix flake

Produced during runtime

Name	Size
kframework.deb Expired	158 MB