Revert "Ordering instance for Sentences" · runtimeverification/k@cf69f73

Triggered via pull request September 5, 2023 17:58

opened #3622

Status Success

Total duration 27m 40s

Artifacts 1

test-pr.yml

on: pull_request

Matrix: Nix flake

Produced during runtime

Name	Size
kframework.deb Expired	139 MB