Move `id` field out of `ProductionReference` into `TypeInferencer` · runtimeverification/k@6bf3539

Triggered via pull request November 25, 2023 02:49

synchronize #3828

tree-nodes

Status Success

Total duration 38m 11s

Artifacts 1

test-pr.yml

on: pull_request

Matrix: Nix flake

Produced during runtime

Name	Size
kframework.deb Expired	146 MB