NOISSUE - Update logo (#187) #21

	name: Publish docs via GitHub Pages

	# Controls when the action will run
	on:
	push:
	branches:
	- main

	# Allows you to run this workflow manually from the Actions tab
	workflow_dispatch:
	permissions:
	contents: write
	# A workflow run is made up of one or more jobs that can run sequentially or in parallel
	jobs:
	build:
	name: Deploy docs
	runs-on: ubuntu-latest
	steps:
	- name: Checkout master
	uses: actions/checkout@v4

	- name: Deploy docs
	uses: mhausenblas/mkdocs-deploy-gh-pages@master
	# Or use mhausenblas/mkdocs-deploy-gh-pages@nomaterial to build without the mkdocs-material theme
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	CUSTOM_DOMAIN: docs.magistrala.abstractmachines.fr

Provide feedback