| commit | d37a6bd0144748768008e6a19b46b6ea8fca2a28 | [log] [tgz] |
|---|---|---|
| author | Kareem Farid <kareefardi@users.noreply.github.com> | Wed Feb 16 17:46:03 2022 +0200 |
| committer | GitHub <noreply@github.com> | Wed Feb 16 17:46:03 2022 +0200 |
| tree | 4ab35191340f12325d4c7eaa1a6a10c734703bb5 | |
| parent | c6a3b67b97022c24279d02f6ca1f7ddc53adc341 [diff] |
add simenv as dependency to verify-* targets
