Skip to content

Update dependency: deps/stable-mir-json_release - #947

Merged
dkcumming merged 39 commits into
masterfrom
_update-deps/runtimeverification/stable-mir-json
Mar 3, 2026
Merged

Update dependency: deps/stable-mir-json_release#947
dkcumming merged 39 commits into
masterfrom
_update-deps/runtimeverification/stable-mir-json

Regression for tests with closures

19bb2e4
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar