Skip to content
Pull Request

feat: error if names are not unique (part 2) #1929

Sign in to view logs

feat: error if names are not unique (part 2)

feat: error if names are not unique (part 2) #1929

Triggered via pull request October 16, 2023 12:43
@lars-reimannlars-reimann
synchronize #640
unique-names
Status Success
Total duration 1m 25s
Artifacts –

pr.yml

on: pull_request
Matrix: build-dsl
Fit to window
Zoom out
Zoom in