fix CI wording #1

Merged

OCram85 merged 1 commits from fixCI into master 2022-12-09 12:35:56 +01:00

Conversation 0 Commits 1 Files Changed 1 +1 -1

1 Commits

Author	SHA1	Message	Date
OCram85	a9702aa0b5	fix CI wording	2022-11-09 15:39:54 +01:00