Skip to content

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

Port Filters and some Covers to MUI + Filter Rework

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

Triggered via pull request January 20, 2024 02:42
Status Success
Total duration 1m 49s
Artifacts

test_java.yml

on: pull_request
Fit to window
Zoom out
Zoom in