Discord notifications

typechecker: Choose broader type in arrays, sets and dicts #4375

Sign in to view logs

Triggered via pull request July 20, 2024 14:43

opened #1589

Status Success

Total duration 15s

Artifacts –

discord.yml

on: pull_request_target