Skip to content

Add method filter_rewrites to KoreDefn #1068

Add method filter_rewrites to KoreDefn

Add method filter_rewrites to KoreDefn #1068

Triggered via pull request January 20, 2025 19:02
Status Success
Total duration 18s
Artifacts

run-actionlint.yml

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