"Dependabot can't parse your Gemfile.lock" #1329
Labels
kind: language development speed
Slows down development of Dafny the language, flaky tests
misc: cleanup
Cleanups in the implementation or in corners of the language
priority: not yet
Will reconsider working on this when we're looking for work
There seems to be something in
docs/Gemfile.lock
that Dependabot doesn't like, which makes it unable to automatically cut PRs to address issues. See https://github.com/dafny-lang/dafny/security/dependabot/docs/Gemfile.lock/addressable/openThe text was updated successfully, but these errors were encountered: