CI: update tag
The shared runners are now tagged with `arm64-shared'; update our
configuration file to fix CI.
Signed-off-by:
Vincent Stehlé <vincent.stehle@arm.com>
The shared runners are now tagged with `arm64-shared'; update our
configuration file to fix CI.
Signed-off-by:
Vincent Stehlé <vincent.stehle@arm.com>