Fix minor ci fixes (#227) #200

Sign in to view logs

Summary
Jobs
- pub
- docker
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
docker	2m 15s
docker	2m 21s
pub	2m 0s
pub	2m 0s
	8m 36s