Skip to content
Discord Integration - PR Closed

More shouldUpdate optimizations #3187

Sign in to view logs

More shouldUpdate optimizations

More shouldUpdate optimizations #3187

Triggered via pull request July 15, 2024 14:30
@gbalintgbalint
closed #6075
chore/more-shouldupdate-optimization
Status Success
Total duration 17s
Artifacts –

discord-pr-closed.yml

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