Implement new sort inference algorithm · runtimeverification/k@70925be

Triggered via pull request November 22, 2023 01:14

synchronize #3673

new-type-inference

Status Success

Total duration 53m 6s

Artifacts 1

test-pr.yml

on: pull_request

Matrix: Nix flake

Produced during runtime

Name	Size
kframework.deb Expired	146 MB