Claim infer cell2 · runtimeverification/k@0b973ae

Triggered via pull request November 27, 2023 21:08

rv-jenkins

synchronize #3812

claim-infer-cell2

Status Success

Total duration 1h 23m 2s

Artifacts 1

test-pr.yml

on: pull_request

Matrix: Nix flake

Produced during runtime

Name	Size
kframework.deb Expired	146 MB