GitHub repository: tsduck-bot/github-test
Description: Test playground for GitHub workflow