Skip to content

chore(deps-dev): bump rescript from 12.2.0 to 12.3.0#28

Merged
hyperpolymath merged 1 commit into
mainfrom
dependabot/npm_and_yarn/rescript-12.3.0
May 22, 2026
Merged

chore(deps-dev): bump rescript from 12.2.0 to 12.3.0#28
hyperpolymath merged 1 commit into
mainfrom
dependabot/npm_and_yarn/rescript-12.3.0

Conversation

@dependabot
Copy link
Copy Markdown
Contributor

@dependabot dependabot Bot commented on behalf of github May 22, 2026

Bumps rescript from 12.2.0 to 12.3.0.

Release notes

Sourced from rescript's releases.

12.3.0

(No changes compared to 12.3.0-beta.1.)

🚀 New Feature

🐛 Bug fix

💅 Polish

12.3.0-beta.1

🚀 New Feature

🐛 Bug fix

... (truncated)

Changelog

Sourced from rescript's changelog.

12.3.0

No changes compared to 12.3.0-beta.1.

12.3.0-beta.1

🚀 New Feature

🐛 Bug fix

💅 Polish

Commits

Dependabot compatibility score

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.


Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

  • @dependabot rebase will rebase this PR
  • @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
  • @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
  • @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
  • @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
  • @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)

Bumps [rescript](https://github.com/rescript-lang/rescript) from 12.2.0 to 12.3.0.
- [Release notes](https://github.com/rescript-lang/rescript/releases)
- [Changelog](https://github.com/rescript-lang/rescript/blob/v12.3.0/CHANGELOG.md)
- [Commits](rescript-lang/rescript@v12.2.0...v12.3.0)

---
updated-dependencies:
- dependency-name: rescript
  dependency-version: 12.3.0
  dependency-type: direct:development
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
@dependabot dependabot Bot added dependencies Pull requests that update a dependency file javascript Pull requests that update javascript code labels May 22, 2026
@dependabot dependabot Bot requested a review from hyperpolymath as a code owner May 22, 2026 15:55
@dependabot dependabot Bot added dependencies Pull requests that update a dependency file javascript Pull requests that update javascript code labels May 22, 2026
@hyperpolymath hyperpolymath merged commit d2f3b81 into main May 22, 2026
11 of 15 checks passed
@hyperpolymath hyperpolymath deleted the dependabot/npm_and_yarn/rescript-12.3.0 branch May 22, 2026 16:11
@github-actions
Copy link
Copy Markdown

Dependency Review

✅ No vulnerabilities or license issues or OpenSSF Scorecard issues found.

OpenSSF Scorecard

PackageVersionScoreDetails
npm/@rescript/darwin-arm64 12.3.0 UnknownUnknown
npm/@rescript/darwin-x64 12.3.0 UnknownUnknown
npm/@rescript/linux-arm64 12.3.0 UnknownUnknown
npm/@rescript/linux-x64 12.3.0 UnknownUnknown
npm/@rescript/runtime 12.3.0 UnknownUnknown
npm/@rescript/win32-x64 12.3.0 UnknownUnknown
npm/rescript 12.3.0 UnknownUnknown

Scanned Files

  • package-lock.json

@github-actions
Copy link
Copy Markdown

🔍 Hypatia Security Scan

Findings: 28 issues detected

Severity Count
🔴 Critical 6
🟠 High 13
🟡 Medium 9

⚠️ Action Required: Critical security issues found!

View findings
[
  {
    "reason": "Stray AI.a2ml in root -- use 0-AI-MANIFEST.a2ml only",
    "type": "banned",
    "file": "AI.a2ml",
    "action": "delete",
    "rule_module": "root_hygiene",
    "severity": "high"
  },
  {
    "reason": "npm banned -- use Deno",
    "type": "banned",
    "file": "package-lock.json",
    "action": "delete",
    "rule_module": "root_hygiene",
    "severity": "high"
  },
  {
    "reason": "Superseded by 0-AI-MANIFEST.a2ml",
    "type": "banned",
    "file": "AI.djot",
    "action": "delete",
    "rule_module": "root_hygiene",
    "severity": "high"
  },
  {
    "reason": "No test directory or test files found",
    "type": "no_tests",
    "file": "/home/runner/work/coq-jr/coq-jr",
    "action": "flag",
    "rule_module": "honest_completion",
    "severity": "high",
    "deduction": 20
  },
  {
    "reason": "Issue in quality.yml",
    "type": "missing_workflow",
    "file": "quality.yml",
    "action": "create",
    "rule_module": "workflow_audit",
    "severity": "high"
  },
  {
    "reason": "Issue in security-policy.yml",
    "type": "missing_workflow",
    "file": "security-policy.yml",
    "action": "create",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Action hyperpolymath/standards/.github/workflows/governance-reusable.yml@main needs attention",
    "type": "unpinned_action",
    "file": "governance.yml",
    "action": "pin_sha",
    "rule_module": "workflow_audit",
    "severity": "high"
  },
  {
    "reason": "Workflow executes remote script directly (curl/wget piped to shell). Download, verify checksum/signature, then execute.",
    "type": "download_then_run",
    "file": "mirror.yml",
    "action": "verify_download_integrity",
    "rule_module": "workflow_audit",
    "severity": "high"
  },
  {
    "reason": "Js.Promise deprecated -- use Promise (2 occurrences)",
    "type": "deprecated_api",
    "file": "/home/runner/work/coq-jr/coq-jr/src/Deno.res",
    "action": "module_replace",
    "rule_module": "migration_rules",
    "severity": "medium"
  },
  {
    "reason": "Js.Nullable deprecated -- use Nullable (3 occurrences)",
    "type": "deprecated_api",
    "file": "/home/runner/work/coq-jr/coq-jr/src/Dom.res",
    "action": "module_replace",
    "rule_module": "migration_rules",
    "severity": "medium"
  }
]

Powered by Hypatia Neurosymbolic CI/CD Intelligence

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

Labels

dependencies Pull requests that update a dependency file javascript Pull requests that update javascript code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant