* Split release workflow into two
Split the release workflow - which so far created and helped merging
release PRs - into a workflow for reating the release PR and one for
helping to merge it.
* Simplify merge-release.yml if-condition
Update release.yml, which is the workflow that creates release PRs and
merges them when approved, to use a Personal Access Token instead of
the standard GITHUB_TOKEN. I choose to name it RELEASE_TOKEN.
This change ensures that GitHub Actions workflows are triggered when
an action is performed by the Automated releases workflow. This is
needed because the publishing to NPM and the creation of a new GitHub
release should happen when there is a commit on `master`. If the release
PR is merged by the workflow using GITHUB_TOKEN, no GitHub Actions
workflows would be triggered.
Co-authored-by: Álvaro Mondéjar <mondejar1994@gmail.com>
* Add GitHub Actions workflow for verification
Add a GitHub Actions workflow file that does the verification of pushes
and pull requests. I.e., it runs the linters, runs the tests, and builds
the website. This workflow runs for all `pull_requests` and `push`es.
* Add GitHub Actions workflow for deployment
Add a GitHub Actions workflow file that does the deployment upon pushes
to master. Before actually deploying, the linters and test are ran, just
in case.
* Remove Travis CI configuration file
* Remove unnecessary quotes from existing workflows
* Add caching for "Build website" verification
* Update build badge in README
Co-authored-by: Álvaro Mondéjar <mondejar1994@gmail.com>
* Add workflow file to run PR labeler and corresponding configuration file
I'm using my personal fork of https://github.com/actions/labeler because
I could not any labeling action that checked whether a file was added or
changed (or removed).
* Fix typo in Labeler action configuration file
