Closed mzheng17 closed 3 years ago
Hi Marissa!
The CI check failing is due to a known bug when opening any PR from a fork.
Fortunately, the contrib/ directory is by design out of scope of CI. So the check failing is not a problem.
Looks like you may have a spelling error in your filename:
contrib/medikanren/marissa/migrain-case.rkt
Otherwise, looks good to me!
…ow.rkt