Search results

build(deps): bump activesupport from 6.0.4 to 6.0.6.1

dependenciesPull requests that update a dependency filePull requests that update a dependency file

Status: Open (in progress).

isabelle-prover/isabelle-prover.github.ionumber 18

#18 In isabelle-prover/isabelle-prover.github.io;

· dependabot opened on Jan 31, 2023

build(deps): bump nokogiri from 1.13.9 to 1.13.10

dependenciesPull requests that update a dependency filePull requests that update a dependency file

Status: Open (in progress).

isabelle-prover/isabelle-prover.github.ionumber 17

#17 In isabelle-prover/isabelle-prover.github.io;

· dependabot opened on Dec 8, 2022