search

dafny-lang / dafny

Dafny is a verification-aware programming language
https://dafny.org
Other
2.92k stars 262 forks source link

Improve error recovery/rollback in documentation snapshot script #3740

Open davidcok opened 1 year ago

davidcok commented 1 year ago

Dafny version

4.0.0

Code to produce this issue

No response

Command to run and resulting output

No response

What happened?

In the 4.0.0 release, the snapshot script failed the first time, but left partially constructed state that blocked subsequent runs

What type of operating system are you experiencing the problem on?

Other

davidcok commented 1 year ago

One solution is to make the snapshot process a Github workflow