Docker_CI #1320

	name: Docker_CI

	on:
	push:
	branches: [ master ]
	pull_request:
	branches: [ master ]
	schedule:
	- cron: '0 7 * * *'

	jobs:
	docker_build_test_ubuntu_22_04:
	name: Docker build test
	runs-on: ubuntu-22.04
	steps:
	- name: checkout
	uses: actions/checkout@v3
	- name: build
	run: docker build -t dreal4_test .
	- name: test
	run: docker run -t dreal4_test dreal "-v"

	docker_pull_test_ubuntu_22_04:
	name: Docker pull test
	runs-on: ubuntu-22.04
	steps:
	- name: pull
	run: docker pull dreal/dreal4
	- name: test
	run: docker run -t dreal/dreal4 dreal "-v"

	docker_build_test_amazonlinux2:
	name: Docker build test
	runs-on: ubuntu-22.04
	steps:
	- name: checkout
	uses: actions/checkout@v3
	- name: build
	run: docker build -t dreal4_test_amazonlinux -f Dockerfile.amazonlinux .
	- name: test
	run: docker run -t dreal4_test_amazonlinux dreal "-v"

	docker_pull_test_amazonlinux2:
	name: Docker pull test
	runs-on: ubuntu-22.04
	steps:
	- name: pull
	run: docker pull dreal/dreal4:amazonlinux
	- name: test
	run: docker run -t dreal/dreal4:amazonlinux dreal "-v"

Provide feedback