7 Commits (bfb4b920df671ba074b016b62baa518a9d97f623)

Author	SHA1	Message	Date
Sayan	8270a5543b	Don't build docker image on PR ... There's no point of building docker images when a PR is created, since we rely on the compiler and not docker	4 years ago
Sayan Nandan	2d04a4f841	Enable build skips on PRs ... Iff no source files are changed - skip the compute-intensive build	4 years ago
Sayan Nandan	986c5e9784	Don't build docker image if src hasn't changed	4 years ago
Sayan Nandan	432e19dd71	Make docker build use `latest` tag	4 years ago
Sayan	09d7e33f9d	Fix docker image being built twice	4 years ago
Sayan Nandan	9d3e5db3a3	Enable container builds for multiple registries	4 years ago
Sayan	20a138f79f	Add build for GH registry	4 years ago