Closed qinsoon closed 9 months ago
This PR adds a Github workflow to check if there is any broken links in the docs. It also fixes existing broken links found by the workflow. This PR closes https://github.com/mmtk/mmtk-core/issues/1084.
This PR adds a Github workflow to check if there is any broken links in the docs. It also fixes existing broken links found by the workflow. This PR closes https://github.com/mmtk/mmtk-core/issues/1084.