Skip to content

Bug#494: Fix for ability to set terminal tab name programmatically #487

Bug#494: Fix for ability to set terminal tab name programmatically

Bug#494: Fix for ability to set terminal tab name programmatically #487

Triggered via issue August 15, 2023 18:26
@mmx85mmx85
commented on #508 72c8186
Status Skipped
Total duration 2s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

licensecheck.yml

on: issue_comment
call-license-check  /  check-licenses
0s
call-license-check / check-licenses
Fit to window
Zoom out
Zoom in