Closed trickeydan closed 6 years ago
Similar to https://github.com/sourcebots/docs/pull/125
In order to avoid the CI failing on broken links, this should be merged after #36
Did we fix the issue with the CI failing for this, then?
Yes, the external link checker was disabled in #36 as agreed in a meeting recently.
Similar to https://github.com/sourcebots/docs/pull/125
In order to avoid the CI failing on broken links, this should be merged after #36