5 Commits

Author	SHA1	Message	Date
Eric Cornelissen	c21487f4d1	Switch from Travis CI to GitHub Actions (#4126) ... * 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>	2020-11-28 11:34:36 +01:00
Álvaro Mondéjar	9f4a056e14	Skip release job for pull request review if pull request not contains 'release' label. (#4125)	2020-11-24 20:26:48 +01:00
Eric Cornelisesn	8b3b7a09aa	Reduce number of PR review GH Actions runs	2020-07-14 21:09:04 +03:00
Eric Cornelisesn	eb6c199f4e	Run release action on PR reviews	2020-06-16 21:49:44 +03:00
Eric Cornelisesn	073688160b	Set up automated releases with GitHub Actions	2020-04-24 14:54:23 +03:00