Closed andreasabel closed 2 years ago
Remove random, bump to 1.4.3.1, switch CI to github
Subsumes: #53, #57
Successful CI run at: https://github.com/andreasabel/missingh/runs/4387105207?check_suite_focus=true
Ping @hvr.
Remove random, bump to 1.4.3.1, switch CI to github
Subsumes: #53, #57
Successful CI run at: https://github.com/andreasabel/missingh/runs/4387105207?check_suite_focus=true