Adopt scalafmt for Scala code style · runtimeverification/k@02dde4e

Triggered via pull request December 5, 2023 00:53

synchronize #3841

scalafmt

Status Cancelled

Total duration 43m 33s

Artifacts 1

test-pr.yml

on: pull_request

Matrix: Nix flake

2 errors

Canceling since a higher priority waiting request for 'Test PR-refs/pull/3841/merge' exists

The operation was canceled.

Produced during runtime

Name	Size
kframework.deb Expired	180 MB