Skip to content
Style

change boxi file names back to capitals #4537

Sign in to view logs

change boxi file names back to capitals

change boxi file names back to capitals #4537

Triggered via pull request October 20, 2023 13:13
@Jennit07Jennit07
synchronize #845
fix_boxi_filepaths
Status Success
Total duration 4m 39s
Artifacts –

style.yaml

on: pull_request
style
4m 25s
style
Fit to window
Zoom out
Zoom in