| commit | a4e0e75154fa38bbbeff94a2aa44531bd3f58d0f | [log] [tgz] |
|---|---|---|
| author | Bence Szépkúti <bence.szepkuti@arm.com> | Thu Jul 13 19:53:43 2023 +0000 |
| committer | GitHub <noreply@github.com> | Thu Jul 13 19:53:43 2023 +0000 |
| tree | 26180e081e880fb4f68a6e7453f2b8745dc79844 | |
| parent | cde337275f9b41def03f05b965a1fffac41b2b13 [diff] | |
| parent | c90ff44f586aba6e98f64a235fcb712a4b4dcf91 [diff] |
Merge pull request #7913 from bensze01/dev/bensze01/merge-queue-test Test PR for Github merge queues
diff --git a/tests/scripts/all.sh b/tests/scripts/all.sh index d162d31..b8bf6d7 100755 --- a/tests/scripts/all.sh +++ b/tests/scripts/all.sh
@@ -918,6 +918,10 @@ # # Indicative running times are given for reference. +component_check_dummy () { + : # This is a dummy test for CI testing +} + component_check_recursion () { msg "Check: recursion.pl" # < 1s tests/scripts/recursion.pl library/*.c