Bump LLVM version in packaging to 15 · runtimeverification/k@a6312ec

Triggered via pull request November 1, 2023 09:43

Baltoli

synchronize #3783

llvm-15

Status Success

Total duration 1h 6m 44s

Artifacts 1

test-pr.yml

on: pull_request

Matrix: Nix flake

Produced during runtime

Name	Size
kframework.deb Expired	143 MB