anoma/juvix
1
1
Fork 0
mirror of https://github.com/anoma/juvix.git synced 2024-12-14 08:27:03 +03:00
Code Issues Projects Releases Wiki Activity

remove HelloWorld test

Browse Source
This commit is contained in:
Lukasz Czajka 2022-07-04 17:21:11 +02:00
parent 5cf65704c1
commit 7d330df947
1 changed files with 0 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
test/Scope/Positive.hs
View File

@ -160,11 +160,6 @@ tests =
"." "."
StdlibExclude StdlibExclude
"Literals.mjuvix", "Literals.mjuvix",
PosTest
"Hello World backends"
"."
StdlibExclude
"HelloWorld.mjuvix",
PosTest PosTest
"Axiom with backends" "Axiom with backends"
"." "."