core: set: add support for source IPv6 addresses set #113

	name: Deploy static content to Pages

	on:
	push:
	branches:
	- main

	permissions:
	contents: read
	pages: write
	id-token: write

	# Allow only one concurrent deployment, skipping runs queued between the run
	# in-progress and latest queued. However, do NOT cancel in-progress runs as
	# we want to allow these production deployments to complete.
	concurrency:
	group: "pages"
	cancel-in-progress: false

	jobs:
	deploy:
	if: github.repository == 'facebook/bpfilter'
	container: "fedora:41"
	runs-on: ubuntu-latest
	steps:
	- name: Setup Pages
	uses: actions/configure-pages@v4
	- name: Check out repository code
	uses: actions/checkout@v4
	- name: Install dependencies (Fedora)
	run: \|
	sudo dnf --disablerepo=* --enablerepo=fedora,updates --setopt=install_weak_deps=False -y install \
	bison bpftool clang clang-tools-extra cmake doxygen flex g++ git gcc jq lcov libasan libbpf-devel \
	libcmocka-devel libnl3-devel libubsan pkgconf python3-breathe python3-furo python3-linuxdoc \
	python3-sphinx
	- name: Configure build
	run: cmake -S $GITHUB_WORKSPACE -B $GITHUB_WORKSPACE/build
	- name: Generate documentation
	run: make -C $GITHUB_WORKSPACE/build doc
	- name: Fix permissions
	run: \|
	chmod -c -R +rX "$GITHUB_WORKSPACE/build/doc/html" \| while read line; do
	echo "::warning title=Invalid file permissions automatically fixed::$line"
	done
	- name: Upload artifact
	uses: actions/upload-pages-artifact@v3
	with:
	path: build/doc/html
	- name: Deploy to GitHub Pages
	id: deployment
	uses: actions/deploy-pages@v4

Provide feedback