Skip to content

Conversation

@ahelwer
Copy link
Collaborator

@ahelwer ahelwer commented Nov 10, 2025

In furtherance of #171 and to fix the CI break introduced by commit 9ece37b. Removes community module dependency details from manifests. If people care about this info they can search the repo for specific community module names.

@ahelwer ahelwer changed the title CI: remove community modules details from manifest Manifest: remove community module usage details Nov 10, 2025
@ahelwer ahelwer force-pushed the ci-remove-community branch from 314f88c to 0933c59 Compare November 10, 2025 20:03
Signed-off-by: Andrew Helwer <ahelwer@pm.me>
@ahelwer ahelwer force-pushed the ci-remove-community branch from 0933c59 to d96b722 Compare November 10, 2025 22:45
@ahelwer ahelwer merged commit 0e018bc into tlaplus:master Nov 10, 2025
8 checks passed
@ahelwer ahelwer deleted the ci-remove-community branch November 10, 2025 23:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

2 participants