tree 32fc1d31db50eaeebda9d102e3af77cf0ffea642
parent 9a90a52c400887d12abd47e7157895477f73ed26
author Yannis Guyon <yguyon@google.com> 1666339174 +0200
committer Yannis Guyon <yguyon@google.com> 1666426058 +0200

Rename shared CI

Make it appear different from the other unix ones in GitHub checks
that do not show the workflow name.
Make naming consistent accross workflows.