mirror of
https://github.com/polarity-lang/polarity.git
synced 2025-12-23 09:19:50 +00:00
9bd143a5bb
* Add regression test * Preserve type annotations during normalization * Add regression test for annotations occuring in neutral expressions * Fix pretty-printing annotations * Add neutral type annotations * Improve comments * Make codecov purely informational on patches
8 lines
191 B
YAML
8 lines
191 B
YAML
coverage:
|
|
status:
|
|
project:
|
|
default: # default is the status check's name, not default settings
|
|
informational: true
|
|
patch:
|
|
default:
|
|
informational: true
|