Claim infer cell2 · runtimeverification/k@322458e

Triggered via pull request November 27, 2023 15:10

edited #3812

claim-infer-cell2

Status Success

Total duration 51m 13s

Artifacts 1

test-pr.yml

on: pull_request

Matrix: Nix flake

Produced during runtime

Name	Size
kframework.deb Expired	146 MB