add CI checks for coverity #14

	name: FreeRTOS-Kernel Coverity Scan - GCC Posix Demo
	on: [push, pull_request]

	jobs:

	POSIX-GCC:
	name: Native GCC
	runs-on: ubuntu-latest
	steps:
	- name: Checkout the FreeRTOS/FreeRTOS Repository
	uses: actions/checkout@v3
	with:
	ref: main
	repository: FreeRTOS/FreeRTOS
	submodules: 'recursive'
	fetch-depth: 1

	# Checkout user pull request changes
	- name: Checkout Pull Request
	uses: actions/checkout@v3
	with:
	path: ./FreeRTOS/Source

	- name: Install GCC
	shell: bash
	run: \|
	sudo apt-get -y update
	sudo apt-get -y install build-essential

	- name: Install Coverity Build
	shell: bash
	env:
	COVERITY_TOKEN: ${{ secrets.COVERITY_SCAN_TOKEN }}
	run: \|
	wget -nv -qO- https://scan.coverity.com/download/linux64 --post-data "token=${token}&project=FreeRTOS-Kernel" \| tar -zx --one-top-level=cov_scan --strip-components 1
	export PATH="$PATH:cov_scan/bin"

Provide feedback