Closed gilch closed 1 year ago
And checks have mysteriously failed. On checkout, no less. Do I need to update my pipeline or is GitHub having a bad day?
Merging #203 (235bd29) into master (d2e8729) will not change coverage. The diff coverage is
n/a
.
@@ Coverage Diff @@
## master #203 +/- ##
=========================================
Coverage 100.00% 100.00%
=========================================
Files 6 6
Lines 700 700
Branches 111 111
=========================================
Hits 700 700
Impacted Files | Coverage Δ | |
---|---|---|
src/hissp/munger.py | 100.00% <ø> (ø) |
:mega: We’re building smart automated test selection to slash your CI/CD build times. Learn more
Looks like it was just a 429 Too Many Requests error. So, rate limiting.
Some adjustments to the short names used for munging. Seems unlikely to break anyone, but did affect my doctests, since it can alter compiled output, even if it doesn't affect its behavior.