Skip to content

Update the shared Cratis AI corpus - #143

Merged
woksin merged 1 commit into
mainfrom
chore/cratis-ai-update-e7dc6fe
Sep 29, 2026
Merged

woksin merged 1 commit into
mainfrom
chore/cratis-ai-update-e7dc6fe

Conversation

@woksin

@woksin woksin commented Sep 29, 2026

Copy link
Copy Markdown
Contributor

Changed

Closes #142

@woksin woksin added the no-release No consumer-facing artifact changes label Sep 29, 2026
@woksin woksin self-assigned this Sep 29, 2026
@woksin
woksin merged commit 8c72c98 into main Sep 29, 2026
5 checks passed
@cratis-direct
cratis-direct Bot deleted the chore/cratis-ai-update-e7dc6fe branch September 29, 2026 20:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

no-release No consumer-facing artifact changes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Update the shared Cratis AI corpus to Cratis/AI e7dc6fe

1 participant