Merge pull request #175 from purdue-arc/jcrm1-patch-1 #95
top-push.yml
on: push
Check for changes to files in docker directory
4s
Rebuild Docker image and push to latest
/
docker
11m 35s
Catkin build and test using latest Docker image
/
catkin
5m 21s
Build and deploy documentation
/
docs
4m 23s
Annotations
1 error and 21 warnings