mirror of
https://github.com/servo/servo
synced 2026-04-25 17:15:48 +02:00
mach: mark the doc.servo.org site as .nojekyll (#41904)
[doc.servo.org](https://doc.servo.org) deploys have been failing for over a month (servo/doc.servo.org#6), because the runners for the built-in “pages-build-deployment” workflow consistently run out of disk space. this patch tries to fix that by adding a `.nojekyll` file, which tells the workflow [not to run jekyll](https://docs.github.com/en/pages/getting-started-with-github-pages/creating-a-github-pages-site#static-site-generators). Testing: it works if [this workflow](https://github.com/servo/doc.servo.org/actions/workflows/pages/pages-build-deployment) succeeds Fixes: hopefully servo/doc.servo.org#6 Signed-off-by: Delan Azabani <dazabani@igalia.com>
This commit is contained in: