Migrate from Checkstyle to Spotless · runtimeverification/k@f1b3be8

Triggered via pull request December 13, 2023 15:27

edited #3874

checkstyle-to-spotless

Status Success

Total duration 42m 29s

Artifacts 1

test-pr.yml

on: pull_request

Matrix: Nix flake

Produced during runtime

Name	Size
kframework.deb Expired	157 MB