Migrate from Checkstyle to Spotless · runtimeverification/k@a591a4e

Triggered via pull request December 14, 2023 17:27

edited #3874

checkstyle-to-spotless

Status Success

Total duration 50m 8s

Artifacts 1

test-pr.yml

on: pull_request

Matrix: Nix flake

Produced during runtime

Name	Size
kframework.deb Expired	157 MB