open-MaStR icon indicating copy to clipboard operation
open-MaStR copied to clipboard

Delete github pages environment

Open FlorianK13 opened this issue 10 months ago • 0 comments

Since we have no docs deployed there, we could delete this environment.

FlorianK13 avatar Apr 09 '24 11:04 FlorianK13