Skip to content

Fix language/pure_valueScript.sml#77

Merged
dnezam merged 1 commit intomasterfrom
fix-ci-1
Sep 26, 2025
Merged

Fix language/pure_valueScript.sml#77
dnezam merged 1 commit intomasterfrom
fix-ci-1

Conversation

@dnezam
Copy link
Contributor

@dnezam dnezam commented Sep 26, 2025

Subset of @nikos-alexandris commit (82b2859)

Subset of @nikos-alexandris commit (82b2859)

Co-authored-by: Nikos Alexandris <nikos-alexandris@protonmail.com>
@dnezam dnezam merged commit 34aa5a9 into master Sep 26, 2025
5 of 6 checks passed
@dnezam dnezam deleted the fix-ci-1 branch September 26, 2025 16:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant