Use same set of headers in default mode and mutant-tracking mode #735

	# Copyright 2022 The Dredd Project Authors
	#
	# Licensed 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
	#
	# https://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.


	on:
	pull_request:
	branches:
	- main

	jobs:
	build:
	strategy:
	fail-fast: false
	matrix:
	os:
	- ubuntu-22.04
	config:
	- Release

	runs-on: ${{ matrix.os }}
	env:
	OS: ${{ matrix.os }}
	CONFIG: ${{ matrix.config }}
	steps:

	- name: cancel_previous
	uses: styfle/[email protected]
	with:
	access_token: ${{ github.token }}

	- name: get_actions
	run: \|
	mkdir -p ./../.github/actions/
	pushd ./../.github/actions/
	git clone https://github.com/actions/setup-python.git
	pushd setup-python/
	git checkout v2
	popd
	git clone https://github.com/actions/checkout.git
	pushd checkout/
	git checkout v2
	popd
	popd
	shell: bash

	- name: checkout
	uses: ./../.github/actions/checkout
	with:
	submodules: true

	- name: setup_python
	uses: ./../.github/actions/setup-python
	with:
	python-version: 3.9
	architecture: x64

	- name: build_step_nix
	run: \|
	.github/workflows/dev_build.sh
	shell: bash

Provide feedback