Skip to content

Changed the x direction of scrollbox from hidden to scroll #1184

Changed the x direction of scrollbox from hidden to scroll

Changed the x direction of scrollbox from hidden to scroll #1184

Triggered via push October 20, 2023 08:36
Status Success
Total duration 2m 26s
Artifacts

ci.yml

on: push
Coding Guidelines
27s
Coding Guidelines
Type Checker
38s
Type Checker
Matrix: Tests
Fit to window
Zoom out
Zoom in