recompile original terms from compile_clause for term to term expansi… #545

	name: Docker Publish

	on:
	push:
	branches:
	- 'master'
	tags:
	- 'v..*'

	jobs:
	build:

	runs-on: ubuntu-latest

	steps:
	- name: Checkout repository
	uses: actions/checkout@v3

	# Workaround: https://github.com/docker/build-push-action/issues/461
	- name: Setup Docker buildx
	# https://github.com/docker/setup-buildx-action
	uses: docker/[email protected]

	# Login against Docker registry
	- name: Log into registry
	# https://github.com/docker/login-action
	uses: docker/[email protected]
	with:
	username: ${{ secrets.DOCKERHUB_USERNAME }}
	password: ${{ secrets.DOCKERHUB_TOKEN }}

	# Extract Docker image tag from git tag. E.g. if git tag is "v0.19.1" then use
	# Docker image tag "0.19.1". The "latest" tag reflects the most recent build on
	# master.
	- name: Extract Docker metadata
	id: meta
	# https://github.com/docker/metadata-action
	uses: docker/[email protected]
	with:
	images: docker.io/${{ secrets.DOCKERHUB_USERNAME }}/scryer-prolog
	tags: \|
	type=semver,pattern={{version}}
	type=raw,value=latest,enable={{is_default_branch}}
	# type=raw,value=latest,enable=${{ github.ref == format('refs/heads/{0}', 'master') }}

	# Build and push Docker image with Buildx
	- name: Build and push Docker image
	id: build-and-push
	# https://github.com/docker/build-push-action
	uses: docker/[email protected]
	with:
	context: .
	push: true
	tags: ${{ steps.meta.outputs.tags }}
	labels: ${{ steps.meta.outputs.labels }}

Provide feedback