8000 Warn in test runner if -v not supported by lawcho · Pull Request #7490 · agda/agda · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Warn in test runner if -v not supported#7490

Merged
andreasabel merged 1 commit intoagda:masterfrom
lawcho:tester-warn-unsupported-v
Sep 18, 2024
Merged

Warn in test runner if -v not supported#7490
andreasabel merged 1 commit intoagda:masterfrom
lawcho:tester-warn-unsupported-v

Commits

Commits on Sep 12, 2024
0