Create codeql.yml #13

	name: JS - generate docs

	on:
	# Runs on pushes targeting the default branch
	push:
	branches: [ "main" ]
	paths:
	- 'js/**'
	- '.github/workflows/**'

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

	# Sets permissions of the GITHUB_TOKEN
	permissions:
	contents: write
	id-token: write

	jobs:
	makeDocs:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout
	uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # pin@v4
	with:
	ref: main
	- name: Generate docs
	working-directory: js
	run: \|
	yarn
	yarn run build
	yarn run make-docs
	- name: Commit
	run: \|
	git config --local user.email "[email protected]"
	git config --local user.name "Luca Invernizzi"
	git commit -m "Update docs" -a
	git push

Provide feedback