Add missing extension `fsti` for F* (#1184) #57

	name: Publish Docker Images

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

	jobs:
	image:
	concurrency:
	group: ${{ github.workflow }}-${{ github.ref }}
	cancel-in-progress: true
	runs-on: ubuntu-latest
	permissions:
	packages: write
	contents: read
	attestations: write
	steps:
	- uses: earthly/actions-setup@v1
	with:
	github-token: ${{ secrets.GITHUB_TOKEN }}
	- name: Check out the repo
	uses: actions/checkout@v4
	- name: Extract metadata (tags, labels) for Docker
	id: meta
	uses: docker/metadata-action@v5
	with:
	images: ghcr.io/${{ github.repository }}
	tags: \|
	type=semver,pattern={{raw}}
	type=raw,value=latest,enable={{is_default_branch}}
	- name: Log in to the Container registry
	uses: docker/login-action@v3
	with:
	registry: ghcr.io
	username: ${{ github.actor }}
	password: ${{ secrets.GITHUB_TOKEN }}
	- name: Build and Push Docker Image
	run: echo "${{ steps.meta.outputs.tags }}" \| xargs -I {} earthly --ci --push +docker --image_name="{}"

Provide feedback