chore(deps-dev): bump rescript from 11.1.4 to 12.2.0#1

hyperpolymath merged 1 commit into

mainhyperpolymath/coq-jr:mainfrom

dependabot/npm_and_yarn/rescript-12.2.0hyperpolymath/coq-jr:dependabot/npm_and_yarn/rescript-12.2.0Copy head branch name to clipboard