Remark

New Lint: `result_filter_map` / Mirror of `option_filter_map` #9186

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
remark	1m 8s
bors remark test finished	0s
bors remark test finished	0s
	1m 8s