feat: Improve shuffle metrics (second attempt) #1670

	# Licensed to the Apache Software Foundation (ASF) under one
	# or more contributor license agreements. See the NOTICE file
	# distributed with this work for additional information
	# regarding copyright ownership. The ASF licenses this file
	# to you under the Apache License, Version 2.0 (the
	# "License"); you may not use this file except in compliance
	# with the License. You may obtain a copy of the License at
	#
	# http://www.apache.org/licenses/LICENSE-2.0
	#
	# Unless required by applicable law or agreed to in writing,
	# software distributed under the License is distributed on an
	# "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
	# KIND, either express or implied. See the License for the
	# specific language governing permissions and limitations
	# under the License.

	name: Run Miri Safety Checks

	on:
	push:
	paths-ignore:
	- "doc/**"
	- "docs/**"
	- "**.md"
	pull_request:
	paths-ignore:
	- "doc/**"
	- "docs/**"
	- "**.md"
	# manual trigger
	# https://docs.github.com/en/actions/managing-workflow-runs/manually-running-a-workflow
	workflow_dispatch:

	jobs:
	miri:
	name: "Miri"
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v3
	- name: Install Miri
	run: \|
	rustup toolchain install nightly --component miri
	rustup override set nightly
	cargo miri setup
	- name: Test with Miri
	run: \|
	cd native
	MIRIFLAGS="-Zmiri-disable-isolation" cargo miri test

Provide feedback