Add basic docs for dynamic forall

Open artv3 opened this issue 3 years ago • 1 comments

Oct 06 '22 21:10 artv3

I ran the white-space remover in my editor and made more changes than expected. To simplify review I suggest hiding white-space changes.

Oct 06 '22 21:10 artv3

@artv3 did you force this merge b/c the CI was timing out?

If you no longer need the branch, please delete it.

Oct 11 '22 17:10 rhornung67

@artv3 did you force this merge b/c the CI was timing out?

If you no longer need the branch, please delete it.

Hi @rhornung67 , I used the auto-merge option. It merges the branch when all the required checks pass. If it merged when it was not supposed to I can revert the change.

Oct 11 '22 23:10 artv3

@artv3 I saw you had auto-merge enabled, which is fine. I was confused because it was merged and it looked like there were some CI failures.

Oct 12 '22 15:10 rhornung67