Fix build after the removal of bool OptimizationOptions::ortoolsUsed … #485

	name: GitHub Pages

	on:
	push:
	branches:
	- develop # Set a branch name to trigger deployment
	- dependabot/*

	jobs:
	deploy:
	runs-on: ubuntu-22.04
	permissions:
	contents: write
	concurrency:
	group: ${{ github.workflow }}-${{ github.ref }}
	steps:
	- uses: actions/checkout@v4
	with:
	submodules: true # Fetch Hugo themes (true OR recursive)
	fetch-depth: 0 # Fetch all history for .GitInfo and .Lastmod

	- name: theme
	run: \|
	git clone https://github.com/jothepro/doxygen-awesome-css.git
	cd doxygen-awesome-css
	git checkout v2.2.1
	git apply ../docs/antares-simulator-doxygen.patch

	- name: Doxygen
	uses: mattnotmitt/[email protected]
	with:
	doxyfile-path: docs/Doxyfile

	- name: Deploy
	uses: peaceiris/actions-gh-pages@v4
	# If you're changing the branch from main,
	# also change the `main` in `refs/heads/main`
	# below accordingly.
	with:
	github_token: ${{ secrets.GITHUB_TOKEN }}
	publish_dir: ./html
	destination_dir: ./doxygen

Provide feedback