git notes logic breaks CircleCI validation of pull requests
Due to missing credentials. David, can you have a look?
https://circleci.com/gh/ghc/ghc/12493
Trac metadata
| Trac field | Value |
|---|---|
| Version | 8.6.2 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | highest |
| Resolution | Unresolved |
| Component | Compiler |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | davide |
| Operating system | |
| Architecture |