Code

Bump nokogiri from 1.10.4 to 1.14.3#12

Code

Open

dependabot[bot] wants to merge 1 commit intogh-pages-srcimandra-ai/imandra-ai.github.io:gh-pages-srcfrom dependabot/bundler/nokogiri-1.14.3imandra-ai/imandra-ai.github.io:dependabot/bundler/nokogiri-1.14.3Copy head branch name to clipboard

+5-3

Commits

Commits on Apr 11, 2023

• Bump nokogiri from 1.10.4 to 1.14.3

  Show description for b1deb82
  dependabot[bot]

  authored
  b1deb82

  Copy full SHA for b1deb82