Ubuntu

wxGUI/history: add pop-up command menu with an item for delete command from history #4916

Triggered via pull request December 25, 2023 21:30

tmszi

synchronize #3310

Status Success

Total duration 1h 1m 38s

Artifacts 2

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ubuntu.yml

on: pull_request

Matrix: build-and-test

Produced during runtime

Name	Size
testreport-ubuntu-22.04 Expired	3.31 MB
testreport-ubuntu-22.04_without_x Expired	3.31 MB