Implement new sort inference algorithm · runtimeverification/k@96c2e9a

Triggered via pull request November 17, 2023 00:35

synchronize #3673

new-type-inference

Status Failure

Total duration 24m 59s

Artifacts 1

test-pr.yml

on: pull_request

Matrix: Nix flake

3 errors

Process completed with exit code 1.

Process completed with exit code 1.

Process completed with exit code 2.

Produced during runtime

Name	Size
kframework.deb Expired	146 MB