Skip to content

Remove unused timer settings from gui #237

Remove unused timer settings from gui

Remove unused timer settings from gui #237

Triggered via pull request October 25, 2024 18:50
Status Success
Total duration 2m 14s
Artifacts

codeql-analysis.yml

on: pull_request
Matrix: Analyze
Fit to window
Zoom out
Zoom in