Upgrade docker workflow #29

	name: docker

	on:
	push:
	branches: [ master ]
	pull_request:
	workflow_dispatch:

	permissions:
	pull-requests: write
	contents: write
	pages: write
	id-token: write

	concurrency:
	group: ${{ github.workflow }}-${{ github.head_ref \|\| github.ref_name }}
	cancel-in-progress: true

	jobs:
	build:
	runs-on: ubuntu-latest
	container:
	image: metanorma/metanorma:latest
	steps:
	- name: Checkout
	uses: actions/checkout@v4
	with:
	submodules: true

	- name: Metanorma generate site
	id: build-and-publish
	uses: actions-mn/build-and-publish@main
	with:
	token: ${{ secrets.GITHUB_TOKEN }}
	agree-to-terms: true

	deploy:
	runs-on: ubuntu-latest
	needs: build
	steps:
	- name: Deploy to GitHub Pages
	uses: actions-mn/deploy-pages@v1
	with:
	token: ${{ secrets.GITHUB_TOKEN }}

Provide feedback