-
Notifications
You must be signed in to change notification settings - Fork 10
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
We used to check for this at runtime, but that would randomly fail in CI. Since I don't understand why, and therefore can't fix it, let's just not check for this in CI. Also, remove the runtime check since that may or may not fail the same way without me having any idea about how to debug it. If it fails locally during testing, we'll still be notified.
- Loading branch information
Showing
2 changed files
with
16 additions
and
25 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters