refactor(openchallenges): update the label of the Discord button #6233
Triggered via pull request
October 30, 2023 20:00
tschaffter
tschaffter
opened
#2288
Status
Success
Total duration
14s
Artifacts
–
lint-pr.yml
on: pull_request_target
Validate PR title
5s