README.md

checkedC-workflows

Step 1:

Switch to this github Repository and navigate to Actions

Step 2:

Trigger the workflow manually by clicking on "Run Workflow"

Step3:

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.

Descriptions:

Test Type:

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)

Architecture:

X86_64, X86, ARM

Step 4: Deleting Failed or Successful Workflow runs

Self explanatory