Make #3686

	name: Make

	permissions:
	contents: read

	on:
	pull_request:
	paths:
	- '.github/workflows/make.yml'
	- '**/Makefile'
	- 'tools/nix/**'
	- '.github/actions/**'
	push:
	paths:
	- '.github/workflows/make.yml'
	- '**/Makefile'
	- 'tools/nix/**'
	- '.github/actions/**'
	branches:
	- develop
	schedule:
	# We only save cache when a cron job is started, this is to ensure
	# that we don't save cache on every push causing excessive caching
	# and github deleting useful caches we use in our workflows, we now
	# run a cron job every 2 hours so as to update the cache store with the
	# latest data so that we don't have stale cache.
	- cron: "0 /2 * *"
	workflow_dispatch:
	inputs:
	commit_sha:
	description: Git commit sha, on which, to run this workflow

	concurrency:
	group: ${{ github.workflow }}-${{ github.ref }}-${{ github.event_name }}
	cancel-in-progress: true

	defaults:
	run:
	shell: nix develop ./tools/nix --command bash {0}

	jobs:
	full_build_in_release_mode:
	name: Make - full_build_in_release_mode
	runs-on: ubuntu-22.04
	steps:
	- uses: actions/checkout@692973e3d937129bcbf40652eb9f2f61becf3332
	with:
	ref: ${{ github.event.inputs.commit_sha }}
	- uses: ./.github/actions/cache_nix
	with:
	cache-unique-id: full_build
	id: nix-installer
	- uses: ./.github/actions/cache_rust
	with:
	job_name: ${{ github.job }}
	- uses: ./.github/actions/cache_elixir
	- run: make
	- uses: ./.github/actions/nix_upload_store
	if: ${{ steps.nix-installer.outputs.cache-hit != 'true' }}

Provide feedback