bumping js-slang #3107

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Closed

martin-henz wants to merge 1 commit into master from 1.0.81

Member

martin-henz commented Mar 4, 2025

test cases need to be fixed


          bumping js-slang

cb39026

martin-henz closed this

RichDom2185 deleted the 1.0.81 branch

March 5, 2025 02:47

Member

RichDom2185 commented Mar 5, 2025 •

edited

Loading

js-slang has requirement chances, need to update dependencies as well as the CI workflows as well

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet