Skip to content

ci: create a GitHub Release automatically on tag push#124

Merged
michelp merged 2 commits into
mainfrom
ci/auto-github-release
Jun 10, 2026
Merged

ci: create a GitHub Release automatically on tag push#124
michelp merged 2 commits into
mainfrom
ci/auto-github-release

ci: remove the broken duplicate GitHub Pages workflows

a24cb51
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar