Skip to content

checkedc/workflows

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

34 Commits
 
 
 
 
 
 

Repository files navigation

checkedC-workflows

Step 1:

Switch to this github Repository and navigate to Actions image

Step 2:

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

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 image

Step 4: Deleting Failed or Successful Workflow runs

Self explanatory

About

Checked C workflows for GitHub Actions

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published