sel4bench-web: adjust for website update - Githubissues

seL4 / ci-actions

CI GitHub actions for the seL4 repositories

https://sel4.systems

3 stars 13 forks source link

sel4bench-web: adjust for website update #344

Closed lsf37 closed 7 months ago

lsf37 commented 7 months ago

Website has been updated to use Jekyll:

generate index.html instead of home.pml
different front matter format