Alex Crichton 47ffaa8017

Migrate from azure pipelines to Github actions (#226) ...

Should make user management easier and also helps follow the repository
when it's renamed.

2019-09-10 10:07:17 -05:00

..

docker

Overhaul tests

2019-05-02 11:37:21 -07:00

run-docker.sh

Attempt to fix CI

2019-06-05 12:17:01 -07:00

run.sh

Update run.sh

2019-09-05 08:36:08 -06:00