Closed nottrobin closed 4 years ago
Would you mind fixing the CI issue introduced by #238 for bonus points?
@anthonydillon how did that get merged? I'm gonna make the prettier check required unless you object.
It was merged by Claudio as he didn't know the process. The check should of course be required.
I've made the checks required
Sorry! @nottrobin @anthonydillon
@clagom not your fault. The system shouldn't have let you make a mistake.
@anthonydillon I switched over to github actions at the same time =)
We no longer need the navigation section