Skip to content
DiscoPoP CI

Feature: assign unique ids to identified patterns #3444

Sign in to view logs

Feature: assign unique ids to identified patterns

Feature: assign unique ids to identified patterns #3444

Triggered via pull request October 25, 2023 14:44
@lukasrothenbergerlukasrothenberger
synchronize #426
explorer/patterns/unique_ids
Status Success
Total duration 3m 13s
Artifacts –

ci.yml

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