Skip to content
Add issue header

set.discard() swallows TypeError raised by __eq__; set.remove() replaces it with KeyError #13473

Sign in to view logs

set.discard() swallows TypeError raised by __eq__; set.remove() replaces it with KeyError

set.discard() swallows TypeError raised by __eq__; set.remove() replaces it with KeyError #13473

Run time

Learn about OS pricing on GitHub Actions
Job Run time
add-header
4s
4s