Prepare the 0.1.0 release #99
marfavi
commented
Owner
No description provided.
marfavi
added 1 commit 2026-10-30 13:55:12 +01:00
Prepare the 0.1.0 release
Some checks failed
Extension / Format, types, lint, extension tests (pull_request) Failing after 1m7s
Details
Grammar / Corpus and binding tests (pull_request) Successful in 1m7s
Details
michael
approved these changes
marfavi
added 1 commit 2026-10-30 13:57:01 +01:00
format
All checks were successful
Grammar / Corpus and binding tests (pull_request) Successful in 1m6s
Details
Extension / Format, types, lint, extension tests (pull_request) Successful in 2m46s
Details
marfavi
merged commit 6207aa3a83 into main
marfavi
deleted branch release/0.1.0
marfavi
referenced this pull request from a commit
Prepare the 0.1.0 release (#99)
marfavi
referenced this pull request
release-readme #96
michael
Loading…
Reference in a new issue
No description provided.
Delete branch "release/0.1.0"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?