c5e4e4eda2
Adjust exempt labels
2022-03-12 11:36:26 -06:00
0cac436219
Tweak stale workflow
...
- Add issue exemptions
- Use all lowercase label
- Update issue comments
2021-12-22 12:51:50 -06:00
ec307ce4f8
Update yaml formatting
2021-12-22 12:21:33 -06:00
de34cd2e8c
Change extension to match other workflows
2021-12-22 11:59:31 -06:00
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
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
d0b0e3afa8
Update testbed version
2020-12-29 16:53:03 -06:00
c8d516c67d
Bump versions of required linters
2020-12-21 17:06:14 -06:00
34940a6240
Migrate from Travis-CI to GitHub Actions
2020-11-22 15:36:57 -06:00
Tim Byrne
Oren Zipori
Erik Flodin