feat: change search endpoint into a POST request instead of GET #8

	name: "Publish documentation"

	on:
	push:
	branches:
	- "master"
	workflow_dispatch:

	env:
	CARGO_TERM_COLOR: always

	concurrency:
	group: "pages"
	cancel-in-progress: false

	jobs:
	build-documentation:
	runs-on: self-hosted
	steps:
	- name: "Set up required tools"
	run: \|
	sudo apt-get update
	sudo apt-get install curl build-essential -y

	- name: Checkout repository
	uses: actions/[email protected]

	- name: Install stable Rust
	uses: dtolnay/rust-toolchain@stable
	with:
	toolchain: stable

	- name: Cache
	uses: Swatinem/rust-cache@v2

	- name: Build documentation
	run: cargo doc --workspace --no-deps --all-features --document-private-items --verbose

	- name: Prepare for deployment
	run: \|
	echo "<meta http-equiv=\"refresh\" content=\"0; url=kolomoni\">" > ./target/doc/index.html
	chmod --changes -R +rX "./target/doc"

	- name: Upload pages artifact
	uses: actions/[email protected]
	with:
	name: github-pages
	path: ./target/doc
	retention-days: 1

	deploy-documentation:
	runs-on: self-hosted
	needs: build-documentation
	permissions:
	contents: read
	pages: write
	id-token: write
	environment:
	name: github-pages
	url: ${{ steps.deployment.outputs.page_url }}

	steps:
	- name: Deploy documentation on GitHub Pages
	uses: actions/deploy-pages@v4

Provide feedback