Skip to content
DiscoPoP CI

Rename: PETGraph -> PEGraph #3487

Sign in to view logs

Rename: PETGraph -> PEGraph

Rename: PETGraph -> PEGraph #3487

Triggered via pull request December 5, 2023 11:01
@lukasrothenbergerlukasrothenberger
synchronize #453
rename/PETGraph
Status Success
Total duration 2m 26s
Artifacts –

ci.yml

on: pull_request
Execute CI Tests
2m 15s
Execute CI Tests
Update Wiki - Build
0s
Update Wiki - Build
Update Wiki - Deploy
0s
Update Wiki - Deploy
Fit to window
Zoom out
Zoom in