Skip to content

Conversation

mariari
Copy link
Member

@mariari mariari commented Nov 7, 2024

Adds a module to test the Prelude

@mariari mariari force-pushed the mariari/prelude-testing branch from f4551ae to 5100e20 Compare November 7, 2024 06:16
@lukaszcz lukaszcz force-pushed the mariari/prelude-testing branch from 5100e20 to ec39416 Compare December 1, 2024 17:31
@lukaszcz
Copy link
Contributor

This won't be run automatically by make test. You need to add an appropriate runTestSuite to the main function in test/Test.juvix.

@lukaszcz lukaszcz force-pushed the mariari/prelude-testing branch from ec39416 to fed2481 Compare January 14, 2025 10:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants