Anton Kochkov
878519d552
Fixes for GitHub Actions ( #16001 )
2020-02-20 21:16:50 +08:00
Anton Kochkov
d98c43450f
Enable V testsuite on GitHub CI ( #15796 )
...
* Enable V testsuite on GitHub CI
2020-01-20 21:03:36 +08:00
Anton Kochkov
fec6330108
Coverity Scan GitHub Action ( #15539 )
2019-12-03 01:44:54 -06:00
GustavoLCR
fa594f6e74
Fix labeler environment
2019-11-28 14:46:03 -03:00
GustavoLCR
511e837341
Switch labeler to periodic-labeler ( #15517 )
...
With https://github.com/actions/labeler/issues/12
being an issue, the action's labeler is useless for PRs that come from a fork.
This one runs on a cron timer instead and doesn't suffer from the same issue.
2019-11-28 17:55:58 +01:00
GustavoLCR
9c08b9e4c0
Add pull request labeler ( #15503 )
2019-11-26 00:34:47 -06:00
Anton Kochkov
dce959d2af
Inital GitHub Actions ( #15467 )
...
* Inital GitHub Actions
* Disable Windows for now
* Disable tests for now
2019-11-21 22:54:08 -06:00
