Back to pull request #1283

fix: remove unused menu option #1301

Sign in to view logs

Triggered via pull request August 21, 2023 12:23

synchronize #1283

fix/remove-unused-menu

Status Success

Total duration 2m 13s

Artifacts –

pr_checks.yml

on: pull_request

Matrix: code_style