Skip to content

Manifest: removed model size field in favor of runtime#186

Merged
ahelwer merged 1 commit into
tlaplus:masterfrom
ahelwer:remove-model-size
Aug 20, 2025
Merged

Manifest: removed model size field in favor of runtime#186
ahelwer merged 1 commit into
tlaplus:masterfrom
ahelwer:remove-model-size

Conversation

@ahelwer
Copy link
Copy Markdown
Collaborator

@ahelwer ahelwer commented Aug 20, 2025

Also remove tlaLanguageVersion field

In service of #171

@ahelwer ahelwer force-pushed the remove-model-size branch 2 times, most recently from 535c577 to 50eb5bd Compare August 20, 2025 22:19
Also remove tlaLanguageVersion field

Signed-off-by: Andrew Helwer <ahelwer@pm.me>
@ahelwer ahelwer force-pushed the remove-model-size branch from 50eb5bd to cf53ae4 Compare August 20, 2025 22:52
@ahelwer ahelwer merged commit 3c0c83b into tlaplus:master Aug 20, 2025
8 checks passed
@ahelwer ahelwer deleted the remove-model-size branch August 20, 2025 23:16
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.

1 participant