CodeQL #91

	name: "CodeQL"

	on:
	#push:
	# branches: [master]
	#pull_request:
	# The branches below must be a subset of the branches above
	#branches: [master]
	schedule:
	- cron: '0 0 * * 1'

	jobs:
	analyze:
	name: Analyze
	runs-on: ubuntu-latest

	permissions:
	# required for all workflows
	security-events: write

	strategy:
	fail-fast: false
	matrix:
	# Override automatic language detection by changing the below list
	# Supported options are ['csharp', 'cpp', 'go', 'java', 'javascript', 'python']
	language: ['cpp']
	# Learn more...
	# https://docs.github.com/en/github/finding-security-vulnerabilities-and-errors-in-your-code/configuring-code-scanning#overriding-automatic-language-detection

	steps:
	- name: Checkout repository
	uses: actions/checkout@v2

	- name: Initialize CodeQL
	uses: github/codeql-action/init@v1
	with:
	languages: ${{ matrix.language }}

	- run: \|
	mkdir minisat_git && cd minisat_git
	git clone --depth 1 https://github.com/stp/minisat
	cd minisat
	mkdir build && cd build
	cmake ..
	make
	cd ../../..
	mkdir build && cd build
	cmake ..
	make

	- name: Perform CodeQL Analysis
	uses: github/codeql-action/analyze@v1

Provide feedback