Discord Integration - PR Closed

Fix duplicate grid control keys #3470

Sign in to view logs

Triggered via pull request October 8, 2024 08:00

ruggi

closed #6474

fix/duplicate-grid-keys

Status Success

Total duration 14s

Artifacts –

discord-pr-closed.yml

on: pull_request

Post Notification To Discord