ci: add docker build, use it in ci #1

	name: Build and push images

	on:
	workflow_dispatch:
	pull_request:
	push:
	branches:
	- 'dev'
	- 'main'

	defaults:
	run:
	shell: 'bash -Eeuo pipefail {0}'

	jobs:
	main:
	runs-on: ubuntu-22.04

	steps:
	- uses: actions/checkout@v4
	- name: Docker login
	uses: docker/login-action@v2
	with:
	registry: ghcr.io
	username: ${{ github.actor }}
	password: ${{ github.token }}

	- uses: docker/build-push-action@v3
	with:
	push: true
	tags: ghcr.io/${{ github.repository }}:latest
	file: .devcontainer/Dockerfile
	context: .devcontainer

Provide feedback