Bump version and make master job

Add method `filter_rewrites` to `KoreDefn` (#4739) #1169

Sign in to view logs

Summary
Jobs
- Version Bump
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Version Bump	13s
	13s