Maven plugin for using google-java-format · runtimeverification/k@65d0132

Triggered via pull request November 14, 2023 16:03

rv-jenkins

synchronize #3793

maven-google-format

Status Success

Total duration 43m 46s

Artifacts 1

test-pr.yml

on: pull_request

Matrix: Nix flake

Produced during runtime

Name	Size
kframework.deb Expired	145 MB