Support strict casts in the SimpleSub inferencer · runtimeverification/k@28b2a2c

Triggered via pull request December 17, 2023 20:24

synchronize #3870

simplesub-strict-casts

Status Failure

Total duration 1h 0m 28s

Artifacts 1

test-pr.yml

on: pull_request

Matrix: Nix flake

2 errors

Process completed with exit code 1.

Process completed with exit code 1.

Produced during runtime

Name	Size
kframework.deb Expired	157 MB