search

dafny-lang / libraries

Libraries useful for Dafny programs
Other
43 stars 25 forks source link

Json fix for nightly #134

Closed stefan-aws closed 1 year ago

stefan-aws commented 1 year ago

By submitting this pull request, I confirm that my contribution is made under the terms of the MIT license.

robin-aws commented 1 year ago

I realize now the failures in the build I kicked off are in different files and not related. In that case we should merge this since it's still forwards progress.

stefan-aws commented 1 year ago

Added a few small changes that should fix the remaining issues with resource count and time-outs in the nightly-build.

stefan-aws commented 1 year ago

https://github.com/dafny-lang/libraries/actions/runs/5591822095