Skip to content
JGrapht Pull Request build

Update Formatting Tools #233

Sign in to view logs

Update Formatting Tools

Update Formatting Tools #233

Triggered via pull request April 12, 2024 10:27
@syoon2syoon2
opened #1220
syoon2:formatter
Status Success
Total duration 8m 28s
Artifacts –

PR-workflow.yaml

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