Code

Update ujson, upickle to 4.0.2#3008

Code

Merged

konnov merged 2 commits intoapalache-mc:mainapalache-mc/apalache:mainfrom scala-steward:update/ujson-4.0.2scala-steward/apalache:update/ujson-4.0.2Copy head branch name to clipboardOct 1, 2024

+2-2

Commits

Commits on Sep 28, 2024

• Update ujson, upickle to 4.0.2

  scala-steward

  committed
  11de4fe

  Copy full SHA for 11de4fe

Commits on Oct 1, 2024

• Merge branch 'main' into update/ujson-4.0.2

  konnov

  authored
  3427b0f

  Copy full SHA for 3427b0f