Fix incorrect package lookup function #115

	name: 'Build and Test PR'
	on:
	pull_request:
	branches:
	- master
	concurrency:
	# Latest code is always prioritized to run per workflow per branch.
	group: ${{ github.workflow }}-${{ github.head_ref \|\| github.ref_name }}
	cancel-in-progress: true

	jobs:

	build-and-test:
	name: 'Poetry: Build and Test'
	runs-on: ubuntu-latest
	steps:
	- name: 'Check out code'
	uses: actions/checkout@v3
	- name: 'Install Nix/Cachix'
	uses: cachix/install-nix-action@v22
	with:
	install_url: https://releases.nixos.org/nix/nix-2.13.3/install
	extra_nix_config:
	access-tokens = github.com=${{ secrets.GITHUB_TOKEN }}

	- uses: cachix/cachix-action@v12
	with:
	name: k-framework
	signingKey: '${{ secrets.CACHIX_PUBLIC_TOKEN }}'
	skipPush: true
	- uses: actions/setup-python@v4
	with:
	python-version: '3.9'
	- name: 'Install Poetry'
	run: \|
	curl -sSL https://install.python-poetry.org \| python3 -
	poetry --version
	- name: 'Formatting and Type Checking'
	run: make
	- name: 'Kup list works'
	run: poetry run kup list
	- name: 'Build via Nix'
	run: nix build

Provide feedback