Fix
publish / publish (push) Successful in 26m13s

This commit is contained in:
khodowany
2026-10-06 04:12:27 -05:00
parent 7a86cedeb3
commit e4125d4c4b
3 changed files with 57 additions and 14 deletions
+1 -1
View File
@@ -14,7 +14,7 @@ target_compile_definitions(ligo_test PRIVATE
$<$<CONFIG:Debug>:LIGO_EXPECT_DEBUG_ASSERTS>
$<$<NOT:$<CONFIG:Debug>>:LIGO_EXPECT_NDEBUG>
)
add_test(NAME ligo COMMAND ligo_test)
add_test(NAME ligo COMMAND ligo_test --log_level=test_suite)
set_tests_properties(ligo PROPERTIES TIMEOUT 60)
add_custom_target(check
COMMAND ${CMAKE_CTEST_COMMAND}