Skip to content

Rename 'GUI' options tab to 'Buttons' #251

Rename 'GUI' options tab to 'Buttons'

Rename 'GUI' options tab to 'Buttons' #251

Triggered via push July 30, 2025 14:30
Status Success
Total duration 7m 50s
Artifacts 1

check-build.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
build (21, ubuntu-latest)
This job uses deprecated functionality from the 'gradle/wrapper-validation-action' action. Consult the logs for more details.
build (21, windows-latest)
This job uses deprecated functionality from the 'gradle/wrapper-validation-action' action. Consult the logs for more details.

Artifacts

Produced during runtime
Name Size Digest
artifacts Expired
1.18 MB
sha256:147231a5edb1ef744bb71807915bb8a2d855f284ca785e2b36a23b9fafd749aa