Lint PR Title

Remove redundant type MergedFeatureSet #1080

Sign in to view logs

Summary
Jobs
- lint
Run details
- Usage
- Workflow file

Triggered via pull request May 13, 2024 13:58

timostamm

edited #730

tstamm/remove-mergedfeatureset

Status Success

Total duration 13s

Artifacts –

pr-title.yaml

on: pull_request