CMake

Fix bugs in SetDistinct ant SetCardinality functions in SystemCatalog #105

	name: CMake

	on:
	push:
	branches: [ "main" ]
	pull_request:
	branches: [ "main" ]

	env:
	# Customize the CMake build type here (Release, Debug, RelWithDebInfo, etc.)
	BUILD_TYPE: Debug

	jobs:
	build:
	# The CMake configure and build commands are platform agnostic and should work equally well on Windows or Mac.
	# You can convert this to a matrix build if you need cross-platform coverage.
	# See: https://docs.github.com/en/free-pro-team@latest/actions/learn-github-actions/managing-complex-workflows#using-a-build-matrix
	runs-on: ubuntu-22.04
	timeout-minutes: 5

	steps:
	- uses: actions/checkout@v3

	- name: Build
	# Build your program with the given configuration
	run: make lab1-debug

	- name: Test
	working-directory: ${{github.workspace}}
	# Execute tests defined by the CMake configuration.
	# See https://cmake.org/cmake/help/latest/manual/ctest.1.html for more detail
	run: make lab0

	sync-gitee:
	runs-on: ubuntu-22.04
	timeout-minutes: 2

	steps:
	- uses: actions/checkout@v3
	with:
	fetch-depth: 0
	- uses: yesolutions/mirror-action@master
	with:
	REMOTE: git@gitee.com:thu-db/huadb.git
	GIT_SSH_PRIVATE_KEY: ${{ secrets.GITEE_RSA_PRIVATE_KEY }}
	GIT_SSH_NO_VERIFY_HOST: "true"

	sync-gitlab:
	runs-on: ubuntu-22.04
	timeout-minutes: 2

	steps:
	- uses: actions/checkout@v3
	with:
	fetch-depth: 0
	- uses: yesolutions/mirror-action@master
	with:
	REMOTE: git@git.tsinghua.edu.cn:dbtrain/huadb-template.git
	GIT_SSH_PRIVATE_KEY: ${{ secrets.GITEE_RSA_PRIVATE_KEY }}
	GIT_SSH_NO_VERIFY_HOST: "true"

Provide feedback