Switch to this github Repository and navigate to Actions image

Trigger the workflow manually by clicking on "Run Workflow" image

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 image

Self explanatory