chore(ci): fix a command naming issue for the CI

This commit is contained in:
Arthur Meyre
2023-11-28 11:30:14 +01:00
parent bdadd39a34
commit 3ed960d255
2 changed files with 4 additions and 4 deletions

View File

@@ -48,7 +48,7 @@ jobs:
Pull Request has been approved :tada:
Launching full test suite...
@slab-ci cpu_test
@slab-ci cpu_integer_test
@slab-ci cpu_multi_bit_test
@slab-ci cpu_unsigned_integer_test
@slab-ci cpu_signed_integer_test
@slab-ci cpu_wasm_test
@slab-ci csprng_randomness_testing