fix: metric with filter failed #626

	# Keep docs build to verify documentation can be built also on localhost
	name: Old docs
	on:
	pull_request:
	branches:
	- master
	paths:
	# API documentation is generated from code so build must be triggered also for code changes
	- 'gooddata-fdw/**'
	- 'gooddata-pandas/**'
	jobs:
	docs-check:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout
	uses: actions/checkout@v4
	- name: Set up python 3.12
	uses: actions/setup-python@v5
	with:
	python-version-file: '.python-version'
	cache: 'pip'
	cache-dependency-path: \|
	tox-requirements.txt
	- name: Install dependencies
	run: \|
	python -m pip install --upgrade pip
	pip install -r tox-requirements.txt
	- name: Doc checks
	run: \|
	make docs

Provide feedback