Skip to content

Rename GitHub CI file #41

Rename GitHub CI file

Rename GitHub CI file #41

Annotations

2 warnings

build

succeeded Mar 7, 2024 in 55s