fix main branch name #2

	name: mkdocs-mike-deploy

	on:
	# Triggers the workflow on push or pull request events but only for the master branch
	push:
	branches: [trunk]

	# Allows you to run this workflow manually from the Actions tab
	workflow_dispatch:

	permissions:
	contents: write

	jobs:
	docs_deploy:
	runs-on: ubuntu-latest

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

	# Set up Python
	- name: Set up Python
	uses: actions/setup-python@v4
	with:
	python-version: '3.x'

	# Install dependencies from requirements.txt
	- name: Install dependencies
	run: \|
	python -m pip install --upgrade pip
	pip install -r requirements.txt

	- name: docs-deploy
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	run: \|
	git config user.name "GitHub Actions CI Publisher"
	git config user.email "DyalogGithubActions@github.com"

	mike deploy

Provide feedback