Cleanup any mention of --transition flag · runtimeverification/k@817a04a

Triggered via pull request January 8, 2024 22:45

gtrepta

opened #3897

transition_cleanup

Status Success

Total duration 57m 12s

Artifacts 1

test-pr.yml

on: pull_request

Matrix: Nix flake

Produced during runtime

Name	Size
kframework.deb Expired	157 MB