Fix incorrectly excluding obs in match scope (#1402) #4228

Triggered via push September 28, 2024 20:10

dev

Status Success

Total duration 1m 52s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size
PGM.jar	7.39 MB