Adeeb d49ca496ae Docker layer caching in CI (#54) ...

* push to dockerhub

* build using cached image

* static analysis get its own job

* remove duplicate step

2020-06-11 18:11:43 -07:00

..

workflows

Docker layer caching in CI (#54)

2020-06-11 18:11:43 -07:00