You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Tamás K. Papp 20c6b6abcc
replace allow_errors with continue_on_error
1 year ago
..
coverage Remove unused test/coverage/coverage.jl file. 7 years ago
runtests.jl replace allow_errors with continue_on_error 1 year ago