Skip to content

Profiling/pretty printer - #43

Merged
johanfylling merged 4 commits into
open-policy-agent:mainfrom
johanfylling:profiling/pretty_printer
Jun 14, 2026
Merged

Profiling/pretty printer#43
johanfylling merged 4 commits into
open-policy-agent:mainfrom
johanfylling:profiling/pretty_printer

Commits

Commits on Jun 4, 2026