5 Commits

Author	SHA1	Message	Date
Oren Zipori	02a2484354	Adding new github workflow for stale issues ... Adding a Github workflow that will mark issues that didn't have any activity on them for the last 60 days and put a label of stale on them. After 7 days if the stale issue didn't have any updates the issue will be deleted.	2021-11-05 21:30:51 +02:00
Erik Flodin	d926fb3e8b	Run "make test" in github workflow ... This avoids having to specify the docker image in multiple places.	2020-12-30 12:54:13 +01:00
Tim Byrne	d0b0e3afa8	Update testbed version	2020-12-29 16:53:03 -06:00
Tim Byrne	c8d516c67d	Bump versions of required linters	2020-12-21 17:06:14 -06:00
Tim Byrne	34940a6240	Migrate from Travis-CI to GitHub Actions	2020-11-22 15:36:57 -06:00