CI - No discord ping for skipped checks#3718

jdetter merged 1 commit intomasterclockworklabs/SpacetimeDB:masterfrom

bfops/discord-pingclockworklabs/SpacetimeDB:bfops/discord-pingCopy head branch name to clipboard