Sel4 beta - Githubissues

seL4 / website

The seL4.systems website

https://seL4.systems

3 stars 14 forks source link

Sel4 beta #407

Closed wom-bat closed 2 months ago

wom-bat commented 2 months ago

This is to prepare for running seL4.systems on LionsOS/seL4 --- it allows us to build the current version and also to build a version with the 'running on lionsOS on seL4' footer.

github-actions[bot] commented 2 months ago

Preview your changes here

The HTML5 validator found some issues!

Error: CSS: "width": Parse Error.
From line 95, column 5; to line 98, column 51 in resource file:_site/Info/Website/index.html
Document checking completed.

github-actions[bot] commented 2 months ago

Preview your changes here

The HTML5 validator found some issues!

Error: CSS: "width": Parse Error.
From line 95, column 5; to line 98, column 51 in resource file:_site/Info/Website/index.html
Document checking completed.

github-actions[bot] commented 2 months ago

Preview your changes here

The HTML5 validator found some issues!

Error: CSS: "width": Parse Error.
From line 95, column 5; to line 98, column 51 in resource file:_site/Info/Website/index.html
Document checking completed.

github-actions[bot] commented 2 months ago

Preview your changes here

github-actions[bot] commented 2 months ago

Preview your changes here

wom-bat commented 2 months ago

Merged.