pulp test fails on CI

[i-am-the-slime]

What's the point of this anyway? Can I delete it?

[fsoikin]

I think this might be fixed by #130

As for the point, my guess is that it's testing that the library would compile and run normally under both Spago and Pulp, so as to support downstream projects based on either. When Pulp finally goes away for good, I think it can be removed, but for now, I don't see any harm in keeping it.