Updates image name, and uses `spago@next` #16

	name: Build and Push Purescript-Tools image

	on:
	push:

	defaults:
	run:
	shell: bash

	jobs:
	build:
	name: Build and push purescript-tools
	runs-on: [self-hosted, linux, x64]
	steps:
	- name: Login to Docker Hub
	uses: docker/login-action@v3
	with:
	username: ${{ secrets.DOCKERHUB_USERNAME }}
	password: ${{ secrets.DOCKERHUB_TOKEN }}

	- name: Log in to the Container registry
	uses: docker/login-action@v3
	with:
	registry: ghcr.io
	username: ${{ github.actor }}
	password: ${{ secrets.GITHUB_TOKEN }}

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

	- name: Docker metadata
	id: meta
	uses: docker/metadata-action@v5
	with:
	images: \|
	ghcr.io/flipstone/purescript-tools
	tags: \|
	type=sha,format=short,prefix=debian-stable-purescript-0.15.12-{{ date 'YYYY-MM-DD' }}-
	type=raw,value=latest,enable={{is_default_branch}}

	- name: Build, tag, and push image to GCR
	uses: docker/build-push-action@v5
	with:
	push: true
	tags: ${{ steps.meta.outputs.tags }}
	cache-from: type=gha,mode=max,ignore-error=true
	cache-to: type=gha,mode=max,ignore-error=true
	platforms: 'linux/amd64, linux/arm64'
	provenance: false

Provide feedback