Skip to content
Discord Integration - PR Closed

Context menu to open property annotation #3139

Sign in to view logs

Context menu to open property annotation

Context menu to open property annotation #3139

Triggered via pull request June 20, 2024 20:09
@gbalintgbalint
closed #6014
feature/go-to-property-annotation
Status Success
Total duration 21s
Artifacts –

discord-pr-closed.yml

on: pull_request
Post Notification To Discord
11s
Post Notification To Discord
Fit to window
Zoom out
Zoom in