Skip to content

Use Rocq 9.0 for test output.

Robbert Krebbersrequested to merge
robbert/rocq9.0tests into master

Rocq 9.0 has been there for some time, so this seems like a reasonable change.

Merge request reports