gernotheiser
commented
7 months ago Should this point to the proof repo?
Closed gernotheiser closed 7 months ago
gernotheiser
commented
7 months ago Should this point to the proof repo?
github-actions[bot]
commented
7 months ago The link checker found some issues!
Running 3 checks (Images, Scripts, Links) in ["_site"] on *.html files...
Checking 345 external links
Checking 501 internal links
Checking internal link hashes in 14 files
Ran on 58 files!
For the Links > External check, the following failures were found:
* At _site/Foundation/Board/index.html:188:
External link https://rtx.com failed (status code 403)
* At _site/Foundation/Membership/index.html:242:
External link https://www.rtx.com failed (status code 403)
* At _site/news/2021.html:248:
External link https://www.rtx.com/ failed (status code 403)
* At _site/news/2021.html:1344:
External link https://www.rtx.com/ failed (status code 403)
* At _site/news/2021.html:1351:
External link https://www.rtx.com/ failed (status code 403)
* At _site/news/2023.html:481:
External link https://www.rtx.com failed (status code 403)
* At _site/news/2024.html:137:
External link https://www.rtx.com/ failed (status code 403)
* At _site/news/index.html:136:
External link https://www.rtx.com/ failed (status code 403)
HTML-Proofer found 8 failures!
make: *** [Makefile:54: checklinks] Error 1The HTML5 validator found some issues!
Error: Element "strong" not allowed as child of element "ul" in this context. (Suppressing further errors from this subtree.)
From line 111, column 9; to line 111, column 16 in resource file:_site/index.html
Error: No "li" element in scope but a "li" end tag seen.
From line 114, column 7; to line 114, column 11 in resource file:_site/index.html
Error: End tag "br".
From line 144, column 26; to line 144, column 30 in resource file:_site/news/index.html
Error: End tag "br".
From line 145, column 26; to line 145, column 30 in resource file:_site/news/2024.html
Document checking completed.The link checker found some issues!
Running 3 checks (Images, Scripts, Links) in ["_site"] on *.html files...
Checking 345 external links
Checking 501 internal links
Checking internal link hashes in 14 files
Ran on 58 files!
For the Links > External check, the following failures were found:
* At _site/Foundation/Board/index.html:188:
External link https://rtx.com failed (status code 403)
* At _site/Foundation/Membership/index.html:242:
External link https://www.rtx.com failed (status code 403)
* At _site/news/2021.html:248:
External link https://www.rtx.com/ failed (status code 403)
* At _site/news/2021.html:1344:
External link https://www.rtx.com/ failed (status code 403)
* At _site/news/2021.html:1351:
External link https://www.rtx.com/ failed (status code 403)
* At _site/news/2023.html:481:
External link https://www.rtx.com failed (status code 403)
* At _site/news/2024.html:137:
External link https://www.rtx.com/ failed (status code 403)
* At _site/news/index.html:136:
External link https://www.rtx.com/ failed (status code 403)
HTML-Proofer found 8 failures!
make: *** [Makefile:54: checklinks] Error 1The HTML5 validator found some issues!
Error: End tag "br".
From line 144, column 26; to line 144, column 30 in resource file:_site/news/index.html
Error: End tag "br".
From line 145, column 26; to line 145, column 30 in resource file:_site/news/2024.html
Document checking completed.validator fails seem to result from RTX's humanity check
github-actions[bot]
commented
7 months ago The link checker found some issues!
Running 3 checks (Images, Scripts, Links) in ["_site"] on *.html files...
Checking 345 external links
Checking 501 internal links
Checking internal link hashes in 14 files
Ran on 58 files!
For the Links > External check, the following failures were found:
* At _site/Foundation/Board/index.html:188:
External link https://rtx.com failed (status code 403)
* At _site/Foundation/Membership/index.html:242:
External link https://www.rtx.com failed (status code 403)
* At _site/news/2021.html:248:
External link https://www.rtx.com/ failed (status code 403)
* At _site/news/2021.html:1344:
External link https://www.rtx.com/ failed (status code 403)
* At _site/news/2021.html:1351:
External link https://www.rtx.com/ failed (status code 403)
* At _site/news/2023.html:481:
External link https://www.rtx.com failed (status code 403)
* At _site/news/2024.html:137:
External link https://www.rtx.com/ failed (status code 403)
* At _site/news/index.html:136:
External link https://www.rtx.com/ failed (status code 403)
HTML-Proofer found 8 failures!
make: *** [Makefile:54: checklinks] Error 1The link checker found some issues!
Running 3 checks (Images, Scripts, Links) in ["_site"] on *.html files...
Checking 345 external links
Checking 501 internal links
Checking internal link hashes in 14 files
Ran on 58 files!
For the Links > External check, the following failures were found:
* At _site/Foundation/Board/index.html:188:
External link https://rtx.com failed (status code 403)
* At _site/Foundation/Membership/index.html:242:
External link https://www.rtx.com failed (status code 403)
* At _site/news/2021.html:248:
External link https://www.rtx.com/ failed (status code 403)
* At _site/news/2021.html:1344:
External link https://www.rtx.com/ failed (status code 403)
* At _site/news/2021.html:1351:
External link https://www.rtx.com/ failed (status code 403)
* At _site/news/2023.html:481:
External link https://www.rtx.com failed (status code 403)
* At _site/news/2024.html:137:
External link https://www.rtx.com/ failed (status code 403)
* At _site/news/index.html:136:
External link https://www.rtx.com/ failed (status code 403)
HTML-Proofer found 8 failures!
make: *** [Makefile:54: checklinks] Error 1
Add a news item on the completion of the refinement proof for AArch64.