We noticed that the workflow failed with OpenURI::HTTPError: 403 Forbidden error. This is caused by the robots.txt in https://linux.die.net/. We switched to https://man7.org/linux/man-pages/. Further changes are to make the link work for the functions in our assignment document. e.g. malloc in mini_memcheck
We noticed that the workflow failed with
OpenURI::HTTPError: 403 Forbiddenerror. This is caused by therobots.txtinhttps://linux.die.net/. We switched tohttps://man7.org/linux/man-pages/. Further changes are to make the link work for the functions in our assignment document. e.g.mallocinmini_memcheck