Rename checks CI to rust #2

Merged
tipragot merged 1 commit from ci-name into main 2023-12-02 12:06:37 +00:00