Add modulo constant folding #37

	name: Add PR to project
	on:
	pull_request:
	types:
	- opened
	jobs:
	track_pr:
	runs-on: ubuntu-latest
	steps:
	- name: Get project data
	env:
	GITHUB_TOKEN: ${{ secrets.DEWOLF_PROJECT }}
	ORGANIZATION: fkie-cad
	PROJECT_NUMBER: 4
	run: \|
	gh api graphql -f query='
	query($org: String!, $number: Int!) {
	organization(login: $org){
	projectV2(number: $number) {
	id
	fields(first:20) {
	nodes {
	... on ProjectV2Field {
	id
	name
	}
	... on ProjectV2SingleSelectField {
	id
	name
	options {
	id
	name
	}
	}
	}
	}
	}
	}
	}' -f org=$ORGANIZATION -F number=$PROJECT_NUMBER > project_data.json

	echo 'PROJECT_ID='$(jq '.data.organization.projectV2.id' project_data.json) >> $GITHUB_ENV
	echo 'DATE_FIELD_ID='$(jq '.data.organization.projectV2.fields.nodes[] \| select(.name== "Date posted") \| .id' project_data.json) >> $GITHUB_ENV
	echo 'STATUS_FIELD_ID='$(jq '.data.organization.projectV2.fields.nodes[] \| select(.name== "Status") \| .id' project_data.json) >> $GITHUB_ENV
	echo 'IN_DEV_OPTION_ID='$(jq '.data.organization.projectV2.fields.nodes[] \| select(.name== "Status") \| .options[] \| select(.name=="In Development") \|.id' project_data.json) >> $GITHUB_ENV

	- name: Add PR to project
	env:
	GITHUB_TOKEN: ${{ secrets.DEWOLF_PROJECT }}
	PR_ID: ${{ github.event.pull_request.node_id }}
	run: \|
	item_id="$( gh api graphql -f query='
	mutation($project:ID!, $pr:ID!) {
	addProjectV2ItemById(input: {projectId: $project, contentId: $pr}) {
	item {
	id
	}
	}
	}' -f project=$PROJECT_ID -f pr=$PR_ID --jq '.data.addProjectV2ItemById.item.id')"

	echo 'ITEM_ID='$item_id >> $GITHUB_ENV

Provide feedback