Skip to content

Rename menu to menu_mgr #3

Rename menu to menu_mgr

Rename menu to menu_mgr #3

Triggered via push November 15, 2023 20:34
Status Success
Total duration 25s
Artifacts

rust.yml

on: push
formatting
7s
formatting
build-test
15s
build-test
Fit to window
Zoom out
Zoom in