Commit Graph
4 Commits
Author SHA1 Message Date
avjarami 622fcfca10 pr comments and actions update 2020-01-22 16:08:15 -08:00
avjarami 33609c5607 update CI configuration 2020-01-22 16:08:15 -08:00
avjarami fffe18a96b Trigger verification on PR opening 2020-01-22 18:03:24 +00:00
Auke Kok eb1e670b5f Add github actions CI. 2019-11-07 14:04:14 -08:00