Skip to content
Polypheny Control CI

Do not delete uuid when purging Polypheny home folder #170

Sign in to view logs

Do not delete uuid when purging Polypheny home folder

Do not delete uuid when purging Polypheny home folder #170

Triggered via push December 7, 2023 23:49
@vogtivogti
pushed 4333774
master
Status Success
Total duration 2m 38s
Artifacts –

ci.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in