Skip to content
formal verification

Bump immutable from 4.3.7 to 4.3.8 in the npm_and_yarn group across 1 directory #9802

Sign in to view logs

Bump immutable from 4.3.7 to 4.3.8 in the npm_and_yarn group across 1 directory

Bump immutable from 4.3.7 to 4.3.8 in the npm_and_yarn group across 1 directory #9802

Triggered via pull request March 5, 2026 05:34
@dependabotdependabot[bot]
labeled #6394
dependabot/npm_and_yarn/npm_and_yarn-e407d56523
Status Success
Total duration 7m 55s
Artifacts –

formal-verification.yml

on: pull_request
apply-diff
5s
apply-diff
verify
0s
verify
halmos
7m 45s
halmos
Fit to window
Zoom out
Zoom in