Skip to content

[#746] FEEL prefix: Remove prefix when there are no name clashes. #394

[#746] FEEL prefix: Remove prefix when there are no name clashes.

[#746] FEEL prefix: Remove prefix when there are no name clashes. #394

Triggered via push September 4, 2025 12:45
Status Success
Total duration 5m 53s
Artifacts

build-main.yml

on: push
Fit to window
Zoom out
Zoom in