search

seL4 / website

The seL4.systems website
https://seL4.systems
3 stars 14 forks source link

Announce keynotes #366

Closed bbrcknl closed 5 months ago

github-actions[bot] commented 5 months ago

Preview your changes here

The link checker found some issues!

Running 3 checks (Scripts, Links, Images) in ["_site"] on *.html files...

Checking 351 external links
Checking 525 internal links
Checking internal link hashes in 15 files
Ran on 59 files!

For the Links > Internal check, the following failures were found:

* At _site/Foundation/Summit/2024/index.html:239:

  internally linking to abstracts2024#a-; the file exists, but the hash 'a-' does not

* At _site/news/2024.html:138:

  internally linking to ../Foundation/Summit/2024/abstracts2024.html#a-; the file exists, but the hash 'a-' does not

* At _site/news/2024.html:157:

  internally linking to abstracts2024#a-inspecta, which does not exist

* At _site/news/2024.html:172:

  internally linking to abstracts2024#a-, which does not exist

* At _site/news/index.html:137:

  internally linking to ../Foundation/Summit/2024/abstracts2024.html#a-; the file exists, but the hash 'a-' does not

* At _site/news/index.html:156:

  internally linking to abstracts2024#a-inspecta, which does not exist

* At _site/news/index.html:171:

  internally linking to abstracts2024#a-, which does not exist

HTML-Proofer found 7 failures!
make: *** [Makefile:54: checklinks] Error 1

The HTML5 validator found some issues!

Error: End tag for  "body" seen, but there were unclosed elements.
From line 643, column 1; to line 643, column 7 in resource file:_site/news/index.html
Error: Unclosed element "div".
From line 36, column 3; to line 36, column 27 in resource file:_site/news/index.html
Error: End tag for  "body" seen, but there were unclosed elements.
From line 644, column 1; to line 644, column 7 in resource file:_site/news/2024.html
Error: Unclosed element "div".
From line 36, column 3; to line 36, column 27 in resource file:_site/news/2024.html
Document checking completed.
github-actions[bot] commented 5 months ago

Preview your changes here

The link checker found some issues!

Running 3 checks (Scripts, Links, Images) in ["_site"] on *.html files...

Checking 351 external links
Checking 525 internal links
Checking internal link hashes in 15 files
Ran on 59 files!

For the Links > Internal check, the following failures were found:

* At _site/Foundation/Summit/2024/index.html:239:

  internally linking to abstracts2024#a-; the file exists, but the hash 'a-' does not

* At _site/news/2024.html:138:

  internally linking to ../Foundation/Summit/2024/abstracts2024.html#a-; the file exists, but the hash 'a-' does not

* At _site/news/2024.html:157:

  internally linking to abstracts2024#a-inspecta, which does not exist

* At _site/news/2024.html:172:

  internally linking to abstracts2024#a-, which does not exist

* At _site/news/index.html:137:

  internally linking to ../Foundation/Summit/2024/abstracts2024.html#a-; the file exists, but the hash 'a-' does not

* At _site/news/index.html:156:

  internally linking to abstracts2024#a-inspecta, which does not exist

* At _site/news/index.html:171:

  internally linking to abstracts2024#a-, which does not exist

HTML-Proofer found 7 failures!
make: *** [Makefile:54: checklinks] Error 1
github-actions[bot] commented 5 months ago

Preview your changes here

The link checker found some issues!

Running 3 checks (Scripts, Links, Images) in ["_site"] on *.html files...

Checking 351 external links
Checking 527 internal links
Checking internal link hashes in 15 files
Ran on 59 files!

For the Links > Internal check, the following failures were found:

* At _site/Foundation/Summit/2024/index.html:239:

  internally linking to abstracts2024#a-; the file exists, but the hash 'a-' does not

* At _site/news/2024.html:138:

  internally linking to ../Foundation/Summit/2024/abstracts2024.html#a-; the file exists, but the hash 'a-' does not

* At _site/news/2024.html:172:

  internally linking to ../Foundation/Summit/2024/abstracts2024#a-; the file exists, but the hash 'a-' does not

* At _site/news/index.html:137:

  internally linking to ../Foundation/Summit/2024/abstracts2024.html#a-; the file exists, but the hash 'a-' does not

* At _site/news/index.html:171:

  internally linking to ../Foundation/Summit/2024/abstracts2024#a-; the file exists, but the hash 'a-' does not

HTML-Proofer found 5 failures!
make: *** [Makefile:54: checklinks] Error 1
github-actions[bot] commented 5 months ago

Preview your changes here

The link checker found some issues!

Running 3 checks (Scripts, Links, Images) in ["_site"] on *.html files...

Checking 355 external links
Checking 525 internal links
Checking internal link hashes in 15 files
Ran on 59 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:240:

  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)

HTML-Proofer found 6 failures!
make: *** [Makefile:54: checklinks] Error 1

The HTML5 validator found some issues!

Error: End tag for  "body" seen, but there were unclosed elements.
From line 612, column 1; to line 612, column 7 in resource file:_site/news/index.html
Error: Unclosed element "div".
From line 36, column 3; to line 36, column 27 in resource file:_site/news/index.html
Error: End tag for  "body" seen, but there were unclosed elements.
From line 613, column 1; to line 613, column 7 in resource file:_site/news/2024.html
Error: Unclosed element "div".
From line 36, column 3; to line 36, column 27 in resource file:_site/news/2024.html
Document checking completed.
github-actions[bot] commented 5 months ago

Preview your changes here

The link checker found some issues!

Running 3 checks (Scripts, Links, Images) in ["_site"] on *.html files...

Checking 355 external links
Checking 525 internal links
Checking internal link hashes in 15 files
Ran on 59 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:240:

  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)

HTML-Proofer found 6 failures!
make: *** [Makefile:54: checklinks] Error 1
github-actions[bot] commented 5 months ago

Preview your changes here