Apply "silent code cleanup" from IntelliJ · runtimeverification/k@a6be3c1

Triggered via pull request October 25, 2023 10:27

Baltoli

edited #3755

java-trivial

Status Success

Total duration 33m 42s

Artifacts 1

test-pr.yml

on: pull_request

Matrix: Nix flake

Produced during runtime

Name	Size
kframework.deb Expired	139 MB