search

seL4 / website

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

add abstracts for seL4 summit 2024 #372

Closed bbrcknl closed 3 months ago

github-actions[bot] commented 4 months ago

Preview your changes here

github-actions[bot] commented 4 months ago

Preview your changes here

github-actions[bot] commented 3 months ago

Preview your changes here

github-actions[bot] commented 3 months ago

Preview your changes here

github-actions[bot] commented 3 months ago

Preview your changes here

github-actions[bot] commented 3 months ago

Preview your changes here

github-actions[bot] commented 3 months ago

Preview your changes here

github-actions[bot] commented 3 months ago

Preview your changes here

bbrcknl commented 3 months ago

Looks good. 2 small comments on Proofcraft's presenters (maybe check for other talks that the presenter is the one confirmed) and please add the abstract I've sent you for the Foundation update. Thanks

It looks like some groups are still deciding on presenter(s). I'm coordinating with LF and will update the names as they come in. For now, I'll put the abstracts up as they are, so people can peruse them.

github-actions[bot] commented 3 months ago

Preview your changes here

The link checker found some issues!

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

Checking 361 external links
Checking 589 internal links
Checking internal link hashes in 16 files
Ran on 59 files!

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

* At _site/news/2021.html:264:

  External link https://driveghost.com/ failed (status code 403)

* At _site/news/2021.html:268:

  External link https://driveghost.com/ failed (status code 403)

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

Preview your changes here

The link checker found some issues!

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

Checking 361 external links
Checking 589 internal links
Checking internal link hashes in 16 files
Ran on 59 files!

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

* At _site/news/2021.html:264:

  External link https://driveghost.com/ failed (status code 403)

* At _site/news/2021.html:268:

  External link https://driveghost.com/ failed (status code 403)

HTML-Proofer found 2 failures!
make: *** [Makefile:55: checklinks] Error 1