Skip to content
JGrapht Pull Request build

Update Formatting Tools #235

Sign in to view logs

Update Formatting Tools

Update Formatting Tools #235

Triggered via pull request April 15, 2024 07:01
@syoon2syoon2
synchronize #1220
syoon2:formatter
Status Success
Total duration 13m 10s
Artifacts –

PR-workflow.yaml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in