Migrate from Checkstyle to Spotless · runtimeverification/k@a591a4e

Triggered via pull request December 13, 2023 17:38

edited #3874

checkstyle-to-spotless

Status Success

Total duration 1h 14m 0s

Artifacts 1

test-pr.yml

on: pull_request

Matrix: Nix flake

Produced during runtime

Name	Size
kframework.deb Expired	157 MB