Build

Move dockerfile to dedicated docker directory #1

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
set-vars	1s
build-image	1h 37m 43s
build-documentation	13s
build-library	17s
deploy	3s
	1h 38m 17s