ci: run the -skip-unused tests on linux (so local testing is easier)

pull/8593/head^2
Delyan Angelov 2021-02-05 20:03:16 +02:00
parent 99822e51de
commit ed6fc79fbe
No known key found for this signature in database
GPG Key ID: 66886C0F12D595ED
1 changed files with 2 additions and 2 deletions

View File

@ -86,7 +86,7 @@ fn test_all() {
tasks.add('', module_dir, '-prod run', '.out', module_tests, true)
tasks.add('', run_dir, 'run', '.run.out', run_tests, false)
tasks.add('', skip_unused_dir, 'run', '.run.out', skip_unused_dir_tests, false)
if github_job.starts_with('ubuntu') {
if os.user_os() == 'linux' {
tasks.add('', skip_unused_dir, '-d no_backtrace -skip-unused run', '.skip_unused.run.out',
skip_unused_dir_tests, false)
}