Skip to content

Conversation

@sgammon
Copy link
Member

@sgammon sgammon commented Mar 14, 2025

Constituent to elide-dev/elide#1294.

Signed-off-by: Sam Gammon <[email protected]>
@sgammon sgammon added the documentation Improvements or additions to documentation label Mar 14, 2025
@sgammon sgammon self-assigned this Mar 14, 2025
@sgammon sgammon added this to Elide Mar 14, 2025
@sgammon sgammon changed the title chore: beta1 docs docs: beta1 release Mar 14, 2025
@sgammon sgammon mentioned this pull request Mar 14, 2025
64 tasks
@sgammon sgammon moved this to In Progress in Elide Mar 14, 2025
@sgammon sgammon marked this pull request as ready for review March 15, 2025 10:17
Signed-off-by: Sam Gammon <[email protected]>
@sgammon sgammon merged commit 47802dd into main Mar 15, 2025
5 checks passed
@sgammon sgammon deleted the release/beta1 branch March 15, 2025 10:59
@github-project-automation github-project-automation bot moved this from In Progress to Done in Elide Mar 15, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

2 participants