Skip to content

Port Filters and some Covers to MUI + Filter Rework #93

Port Filters and some Covers to MUI + Filter Rework

Port Filters and some Covers to MUI + Filter Rework #93

Triggered via pull request January 18, 2024 21:05
Status Failure
Total duration 49s
Artifacts

format_java.yml

on: pull_request
Formatting
37s
Formatting
Fit to window
Zoom out
Zoom in

Annotations

1 error
Formatting
Process completed with exit code 1.