Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
This test was failing intermittently on github actions. There's no safe way to check that a file descriptor has been closed, because a new file could have been reopened with the same number. We'd then end up closing that new file instead of having close() fail.
- Loading branch information