Rename katropton to katoptron
Status | Pipeline | Created by | Stages | Actions |
---|---|---|---|---|
Passed 00:06:34
| Stage: build Stage: test | No artifacts found |
Pour rappel, le service sera inaccessible ce lundi 05/05/25 midi pour raison de mise à jour.
This MR renames katropton to katoptron.
Status | Pipeline | Created by | Stages | Actions |
---|---|---|---|---|
Passed 00:06:34
| Stage: build Stage: test |
Download artifacts
No artifacts found |