https://github.com/checkedc/workflows

Checked C workflows for GitHub Actions
https://github.com/checkedc/workflows

Last synced: about 1 month ago
JSON representation

Checked C workflows for GitHub Actions

• Host: GitHub
• URL: https://github.com/checkedc/workflows
• Owner: checkedc
• Created: 2023-07-19T18:12:53.000Z (over 1 year ago)
• Default Branch: main
• Last Pushed: 2023-12-31T21:00:59.000Z (12 months ago)
• Last Synced: 2024-04-28T02:22:53.879Z (8 months ago)
• Language: Shell
• Size: 28.6 MB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 1
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# checkedC-workflows

## Step 1: 

Switch to this github Repository and navigate to Actions

![image](https://user-images.githubusercontent.com/95626937/222797209-a5a1e1bc-80dd-48a1-aef1-fbed5fb8aa5b.png)

## Step 2:

Trigger the workflow manually by clicking on "Run Workflow"

![image](https://user-images.githubusercontent.com/95626937/222797293-5d4f3a21-56f9-41c0-8bff-22fbaa8d1613.png)

## 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](https://user-images.githubusercontent.com/95626937/222797490-5b114545-d783-43be-a69d-8396221b0d72.png)

## Step 4: Deleting Failed or Successful Workflow runs 

Self explanatory