tree 60103c2cd6bba663e7e3b38599bf5c467fe7e16c
parent f89aa483a05b267a0581ad3b84134d2d9490a3aa
author Paul Jolly <paul@myitcv.io> 1584167611 +0000
committer Marcel van Lohuizen <mpvl@golang.org> 1584361993 +0000

ci: rebuild tip.cuelang.org on master commits

When a new commit is submitted to master we need to trigger a rebuild of
tip.cuelang.org in order than the @master docs are updated as required.

Do that via a simple GitHub action.

Change-Id: I9d1b404756358f357c7906a4f38897c6337b4f32
Reviewed-on: https://cue-review.googlesource.com/c/cue/+/5300
Reviewed-by: Marcel van Lohuizen <mpvl@golang.org>