Add ifcopenshell-0.8.4-cp313-cp313-pyodide_2025_0_wasm32.whl #3

	---
	name: Generate Index

	"on":
	push:
	branches:
	- main

	# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
	permissions:
	contents: read
	pages: write
	id-token: write

	jobs:
	generate:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	with:
	token: ${{ secrets.GITHUB_TOKEN }}

	- name: Generate index.html
	run: \|
	mkdir output
	python generate_index.py > output/index.html
	cp *.whl output

	- name: Upload artifact
	uses: actions/upload-pages-artifact@v3
	with:
	path: output

	- name: Deploy to GitHub Pages
	id: deployment
	uses: actions/deploy-pages@v4

Provide feedback