Yuri Astrakhan 36c63ab41b

auto-build master-tools branch (#842) ...

`master-tools` branch is the same as `master` branch, except that it uses `latest` from the tools repo. This allows us to quickly track if master is compiling correct.

2020-05-05 12:18:34 -04:00

..

pr-updater.yml

Improve workflow PR updates (#847)

2020-05-05 09:56:49 -04:00

tests.yml

auto-build master-tools branch (#842)

2020-05-05 12:18:34 -04:00