Skip to content

Add method filter_rewrites to KoreDefn #1067

Add method filter_rewrites to KoreDefn

Add method filter_rewrites to KoreDefn #1067

Triggered via pull request January 20, 2025 17:08
Status Success
Total duration 16s
Artifacts

run-actionlint.yml

on: pull_request
Run actionlint
7s
Run actionlint
Fit to window
Zoom out
Zoom in