Docker

Update dialyxir. #1175

Sign in to view logs

Workflow file for this run

.github/workflows/docker.yml at abb9131

	name: Docker

	on: [push]

	jobs:
	docker:
	name: Build Docker image
	runs-on: ubuntu-22.04
	steps:
	- uses: actions/checkout@v3
	- run: docker build .