Switch to this github Repository and navigate to Actions
Trigger the workflow manually by clicking on "Run Workflow"
Configure the below options: Successful compilation of checkedc-clang requires two repositories. Hence options are provided below to configure the branches and repositories of each of the required.
CheckedC_clang = internally compiles "check-clang" target (27774 Tests) CheckedC_LLVM = internally compilers "check-all" target (70451 Tests) CheckedC_tests = internally compiler "check-checkedc" target (150 tests only on checked-c functionality)
X86_64, X86, ARM
Self explanatory