Skip to content

Commit c22ba1a

Browse files
hendriktewshendriktews
committed
CI: new tests for changing and undoing processed comments
These test are inspired by ProofGeneral#800 and ProofGeneral#803. Unfortunately 7 out of 8 are currently failing.
1 parent 3c3a21e commit c22ba1a

File tree

2 files changed

+519
-1
lines changed

2 files changed

+519
-1
lines changed

0 commit comments

Comments
 (0)