Skip to content
Sphinx

Make CONS, NIL, JUST and NOTHING constructors have uniform names #4854

Sign in to view logs

Make CONS, NIL, JUST and NOTHING constructors have uniform names

Make CONS, NIL, JUST and NOTHING constructors have uniform names #4854

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Sphinx
22s
22s