search

JetBrains / intellij-arend

Arend plugin for IntelliJ IDEA
Apache License 2.0
90 stars 12 forks source link

Deadlock in read/write actions #552

Closed sxhya closed 2 months ago

sxhya commented 2 months ago

threads_report.txt

sxhya commented 2 months ago

Already fixed.