Closed teodutu closed 1 year ago
This adds GitHub action that builds the website and publishes it upon every new commit to a PR. It then posts a comment to that PR containing the URL to the rendered page.
I tested this script via this PR: https://github.com/teodutu/operating-systems/pull/8
Duplicate of #313
This adds GitHub action that builds the website and publishes it upon every new commit to a PR. It then posts a comment to that PR containing the URL to the rendered page.
I tested this script via this PR: https://github.com/teodutu/operating-systems/pull/8