Merge pull request #7120 from 8c6794b6/master

Add miniterion
This commit is contained in:
Dan Burton 2023-09-21 00:11:52 -04:00 committed by GitHub
commit d80462dfb4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -4901,6 +4901,7 @@ packages:
"8c6794b6 <8c6794b6@gmail.com> @8c6794b6":
- hpc-codecov
- miniterion
"Hiromi Ishii <konn.jinro@gmail.com> @konn":
- equational-reasoning