3 Commits

Author	SHA1	Message	Date
Lucas Servén Marín	c5d0debab6	*: rename branch to main ... This commit renames the principal branch of the repository to `main`! Signed-off-by: Lucas Servén Marín <lserven@gmail.com>	2021-02-26 10:46:31 +01:00
Lucas Servén Marín	7ea8c1bc64	.github: allow workflow to be triggered manually ... Signed-off-by: Lucas Servén Marín <lserven@gmail.com>	2021-02-08 19:49:07 +01:00
Lucas Servén Marín	c4c8fe81cc	.github/workflows: migrate to github actions ... Signed-off-by: Lucas Servén Marín <lserven@gmail.com>	2021-01-31 15:09:11 +01:00