Skip to content
This repository has been archived by the owner on Mar 22, 2024. It is now read-only.

Commit

Permalink
Add github ci config file
Browse files Browse the repository at this point in the history
  • Loading branch information
janschrewe committed Apr 16, 2021
1 parent 3117b7d commit 3dde37b
Showing 1 changed file with 52 additions and 0 deletions.
52 changes: 52 additions & 0 deletions .github/workflows/ci-fuzz.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,52 @@
name: Code Intelligence Fuzzing

on:
push:
branches: [ master ]
pull_request:
branches: [ master ]

env:
FUZZING_SERVER_ADDRESS: server-installer-test.code-intelligence.com:6773
WEB_APP_ADDRESS: https://server-installer-test.code-intelligence.com


jobs:
fuzz_test_fuzz_target:
runs-on: ubuntu-latest
steps:
- id: start-fuzzing
name: Build and Instrument
uses: CodeIntelligenceTesting/github-actions/start-fuzzing@v3
with:
ci_fuzz_api_token: ${{ secrets.CI_FUZZ_API_TOKEN }}
test_collection: "projects/organizations_7eb9b18fc0064648_bugreptaocpp-json-api-9edfa5d5/campaigns/test_fuzz_target-d82fef0f"
git_reference: ${{ github.sha }}
fuzzing_server_address: ${{ env.FUZZING_SERVER_ADDRESS }}
- id: monitor-fuzzing
name: Fuzzing
uses: CodeIntelligenceTesting/github-actions/monitor-fuzzing@v3
with:
ci_fuzz_api_token: ${{ secrets.CI_FUZZ_API_TOKEN }}
test_collection_run: ${{ steps.start-fuzzing.outputs.test_collection_run }}
github_token: ${{ secrets.GITHUB_TOKEN }}
pull_request_number: ${{ github.event.pull_request.number }}
owner: ${{ github.event.repository.owner.login }}
repository: ${{ github.event.repository.name }}
fuzzing_server_address: ${{ env.FUZZING_SERVER_ADDRESS }}
dashboard_address: ${{ env.WEB_APP_ADDRESS }}
- id: report-coverage
name: Report Coverage
uses: CodeIntelligenceTesting/github-actions/report-coverage@v3
if: ${{ github.event_name == 'pull_request' && (success() || failure()) }}
with:
ci_fuzz_api_token: ${{ secrets.CI_FUZZ_API_TOKEN }}
test_collection_run: ${{ steps.start-fuzzing.outputs.test_collection_run }}
github_token: ${{ secrets.GITHUB_TOKEN }}
pull_request_number: ${{ github.event.pull_request.number }}
owner: ${{ github.event.repository.owner.login }}
repository: ${{ github.event.repository.name }}
git_reference: ${{ github.sha }}
fuzzing_server_address: ${{ env.FUZZING_SERVER_ADDRESS }}
dashboard_address: ${{ env.WEB_APP_ADDRESS }}

0 comments on commit 3dde37b

Please sign in to comment.