tree f9c9b6aeffdea63da120be7c0c450d89789fb452
parent bf25aef6ee047e11e61bdb218d9c28b47ba5f002
author Tobias Bouschen <tobias.bouschen@googlemail.com> 1614275976 +0100
committer Tobias Bouschen <tobias.bouschen@googlemail.com> 1614283254 +0100

Add site build workflow for pull requests

Adds a simple site build workflow running only for pull requests. The
job allows us to check whether a PR breaks the site build before merging
it.