Add installation section in DEV.md #17

	name: Build and Push Container

	on:
	push:
	branches: [ master ]
	# Allows you to run this workflow manually from the Actions tab
	workflow_dispatch:

	jobs:
	build-and-push-image:
	runs-on: ubuntu-latest

	# Give permission to write/update packages.
	permissions:
	contents: read
	packages: write

	steps:
	- name: Checkout
	uses: actions/checkout@v2

	# Use a docker layer caching action to speed up docker builds when no
	# changes are made.
	- uses: satackey/[email protected]
	continue-on-error: true

	- name: Log in to the Container registry
	uses: docker/[email protected]
	with:
	registry: ghcr.io
	username: ${{ github.actor }}
	password: ${{ secrets.GITHUB_TOKEN }}

	- name: Extract metadata (tags, labels) for Docker
	id: meta
	uses: docker/[email protected]
	with:
	images: ghcr.io/sslab-gatech/rudra

	- name: Build and push Docker image
	uses: docker/[email protected]
	with:
	context: .
	push: true
	tags: ${{ steps.meta.outputs.tags }}
	labels: ${{ steps.meta.outputs.labels }}

Provide feedback