Add metric tag when redis fails open #36

	name: Service CI

	on: [push]

	env:
	DOCKER_BUILD_ARGS: --cache-from type=gha --cache-to type=gha
	DOCKER_BUILDKIT: 1
	BUILDX_CONTAINER: container

	jobs:
	test:
	name: Build and test
	runs-on: ubuntu-22.04
	timeout-minutes: 20
	permissions:
	packages: read
	contents: read
	id-token: write

	steps:
	- name: Checkout main project
	uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
	with:
	submodules: recursive

	- name: Expose Docker environmental variables for gha cache
	# This action takes in the ID tokens etc provided by the permissions,
	# as well as some environmental data, and exposes them to future steps
	# in the correct locations and formats for their use with the `gha`
	# GitHub Actions cache for Docker.
	uses: crazy-max/ghaction-github-runtime@3cb05d89e1f492524af3d41a1c98c83bc3025124 # v3.1.0

	- name: Setup Docker
	run: docker buildx create --use --name container --driver docker-container

	- name: Test C
	working-directory: c
	run: make docker_tests

	- name: Build all C
	working-directory: c
	run: make docker_all

	- name: Valgrind tests
	working-directory: c
	run: make docker_valgrinds

	- name: Set up JDK 21
	uses: actions/setup-java@c5195efecf7bdfc987ee8bae7a71cb8b11521c00 # v4.7.1
	with:
	distribution: 'temurin'
	java-version: 21
	cache: 'maven'

	- name: Set up necessary SGX stuff
	run: sudo ./c/docker/sgx_runtime_libraries.sh

	- name: Build and test with Maven
	run: ./mvnw -e -B verify

	- name: Build and test lambda with Maven
	working-directory: filter-cds-updates
	run: ../mvnw -e -B verify

Provide feedback