seL4/website_pr_hosting

This repo stores the generated website files from PRs on https://github.com/seL4/website

PR hosting

This repo is only used for pull request previews for seL4/website.

Please do not push any new branches or open pull requests here.