Container image #46

	name: Container image

	on:
	workflow_dispatch:
	release:
	types: [published]

	env:
	REGISTRY: ghcr.io
	IMAGE_NAME: ${{ github.repository }}

	jobs:
	build:

	runs-on: ubuntu-latest # Run on host machine with Docker installed
	permissions:
	contents: read
	packages: write

	steps:
	- name: Checkout repository
	uses: actions/checkout@v4
	with:
	fetch-depth: 0

	- name: Set up Docker Buildx
	uses: docker/setup-buildx-action@v3

	- name: Log into registry ${{ env.REGISTRY }}
	uses: docker/login-action@v3
	with:
	registry: ${{ env.REGISTRY }}
	username: ${{ github.actor }}
	password: ${{ secrets.GITHUB_TOKEN }}

	- name: Start Wolfram Engine Container
	run: \|
	docker run -d --name wolfram \
	-v $GITHUB_WORKSPACE:/workspace \
	-w /workspace \
	wolframresearch/wolframengine:14.2 tail -f /dev/null

	- name: Fix permissions for /workspace directory at host level
	run: \|
	sudo chmod -R 777 $GITHUB_WORKSPACE

	- name: Fetch all dependencies inside Wolfram container
	run: \|
	docker exec -e WOLFRAMSCRIPT_ENTITLEMENTID=${{ secrets.WOLFRAM_LICENSE_ENTITLEMENT_ID }} wolfram \
	wolframscript -script ./Scripts/update.wls

	- name: Extract Docker metadata
	id: meta
	uses: docker/metadata-action@v5
	with:
	images: ${{ env.REGISTRY }}/${{ env.IMAGE_NAME }}

	- name: Build and push Docker image
	id: build-and-push
	uses: docker/build-push-action@v5
	with:
	context: .
	file: "./container/Containerfile"
	tags: ${{ steps.meta.outputs.tags }}
	labels: ${{ steps.meta.outputs.labels }}
	push: true
	cache-from: type=gha
	cache-to: type=gha,mode=max

Provide feedback