ci: update resource on push to master

alexanderdavide commented 2 years ago

Description

Due to the use of Hugo extended introducted in #292, the resources folder is built and must be up to date in the repository for the latest SCSS to be considered and output as CSS. As relying on contributors and reviewers to remember building resources is error prone, this PR adds a GitHub workflow that ensures resources are up to date when changes are pushed to master.

Checklist

Yes, I included all necessary artefacts, including:

[ ] Tests
[ ] Documentation
[X] Implementation (Code and Ressources)
[ ] Example

Testing Checklist

Yes, I ensured that all of the following scenarios were tested:

[x] Tested workflow locally using nektos/act. It's sensible to test drive the workflow on this branch by making preliminary adaptations to the workflow before merging it into master. @lxndrblz Not sure what's the current setting allowing workflows to be run on PRs by contributors.
[ ] Desktop Light Mode (Default)
[ ] Desktop Dark Mode
[ ] Desktop Light RTL Mode
[ ] Desktop Dark RTL Mode
[ ] Mobile Light Mode
[ ] Mobile Dark Mode
[ ] Mobile Light RTL Mode
[ ] Mobile Dark RTL Mode