Closed cassiersg closed 3 months ago
Failure is only due to https://gnu.org being offline. Making link check not fail CI, since external links sites are not under our control.
Failure is only due to https://gnu.org being offline. Making link check not fail CI, since external links sites are not under our control.