Create and publish a Docker image #112

Job	Run time
stage-1 (rigraph-san) / build-and-push-image	19s
stage-1 (rig-debian) / build-and-push-image	30s
stage-1 (rchk-igraph) / build-and-push-image	18s
stage-1 (r-4-duckdb) / build-and-push-image	20s
stage-1 (rig-rocky8) / build-and-push-image	17s
stage-1 (rig-ubuntu) / build-and-push-image	1m 24s
stage-1 (rig-ubuntu24) / build-and-push-image	28s
stage-1 (r-minimal) / build-and-push-image	31s
stage-1 (tofutf) / build-and-push-image	19s
stage-2 (rig-ubuntu-dbi) / build-and-push-image	32m 27s
stage-2 (rig-ubuntu-duckdb) / build-and-push-image	2m 4s
stage-2 (rig-ubuntu24-gcc14) / build-and-push-image	18s
stage-2 (dm) / build-and-push-image	2m 52s
stage-2 (rig-ubuntu-duckdb4) / build-and-push-image	2m 11s
stage-2 (rig-ubuntu-igraph) / build-and-push-image	2m 30s
stage-2 (rig-ubuntu-revdepcheck) / build-and-push-image	1m 48s
stage-2 (r-postgres) / build-and-push-image	1m 44s
stage-3 (rig-ubuntu-duckdb-dev) / build-and-push-image	16m 6s
stage-3 (rig-ubuntu24-gcc14-duckdb) / build-and-push-image	19s
	1h 6m 45s

Provide feedback