add roaring_bitmap_rank_many(): get `rank()` values in Bulk (#527) #141

	name: Doxygen GitHub Pages

	on:
	push:
	branches:
	- master
	# Allows you to run this workflow manually from the Actions tab
	workflow_dispatch:

	permissions:
	contents: read

	jobs:
	deploy:
	environment:
	name: github-pages
	url: ${{ steps.deployment.outputs.page_url }}
	runs-on: ubuntu-latest
	permissions:
	contents: write
	pages: write
	id-token: write
	steps:
	- uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v3.5.2
	- name: Install Doxygen
	run: sudo apt-get install doxygen graphviz -y
	- run: mkdir docs
	- name: Install theme
	run: ./tools/prepare_doxygen.sh
	- name: Generate Doxygen Documentation
	run: doxygen ./doxygen
	- name: Deploy to GitHub Pages
	uses: peaceiris/actions-gh-pages@373f7f263a76c20808c831209c920827a82a2847 # v3.9.3
	with:
	github_token: ${{ secrets.GITHUB_TOKEN }}
	publish_dir: docs/html

Provide feedback