Tim Byrne
0cac436219
Tweak stale workflow
...
- Add issue exemptions
- Use all lowercase label
- Update issue comments
2021-12-22 12:51:50 -06:00
Tim Byrne
ec307ce4f8
Update yaml formatting
2021-12-22 12:21:33 -06:00
Tim Byrne
de34cd2e8c
Change extension to match other workflows
2021-12-22 11:59:31 -06:00
Oren Zipori
a37eabba98
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-12-22 11:58:05 -06: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
