Claim infer cell2 · runtimeverification/k@db76776

Triggered via pull request November 20, 2023 18:53

synchronize #3812

claim-infer-cell2

Status Success

Total duration 49m 1s

Artifacts 1

test-pr.yml

on: pull_request

Matrix: Nix flake

Produced during runtime

Name	Size
kframework.deb Expired	146 MB