idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-21 02:31:50 +03:00
Code Issues Projects Releases Wiki Activity
4c99537062
Idris2/libs/test/test.ipkg

10 lines
104 B
Plaintext
Raw Normal View History

Add a test package to the Idris 2 project (#1162)
2021-03-09 21:27:05 +03:00
package test
version = 0.3.0
Add color to tests
2021-06-09 18:38:08 +03:00
depends = contrib
opts = "--ignore-missing-ipkg"
Add a test package to the Idris 2 project (#1162)
2021-03-09 21:27:05 +03:00
modules = Test.Golden
Reference in New Issue Copy Permalink