-
Notifications
You must be signed in to change notification settings - Fork 15
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
3 changed files
with
55 additions
and
4 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,46 @@ | ||
name: CI Job to Generate JUnit Report | ||
|
||
on: | ||
push: | ||
branches: | ||
- main | ||
pull_request: | ||
branches: | ||
- main | ||
|
||
jobs: | ||
generate-report: | ||
runs-on: ubuntu-latest | ||
|
||
steps: | ||
- name: Checkout repository | ||
uses: actions/checkout@v3 | ||
|
||
- name: Set up Python | ||
uses: actions/setup-python@v4 | ||
with: | ||
python-version: '3.x' | ||
|
||
- name: Make Shell Script Executable | ||
run: chmod +x scripts/generate_input.sh | ||
|
||
- name: Run Shell Script to Generate Input File | ||
run: | | ||
./scripts/run_commit_tests.sh | ||
- name: Run JUnit Report Generation Script | ||
run: | | ||
python scripts/into_junit.py /tmp/SHARED.UNITS > junit.xml | ||
- name: Upload JUnit Report | ||
uses: actions/upload-artifact@v3 | ||
with: | ||
name: junit-report | ||
path: junit.xml | ||
|
||
- name: Display JUnit Test Results | ||
uses: dorny/test-reporter@v1 | ||
with: | ||
name: 'JUnit Results' | ||
path: 'junit.xml' | ||
reporter: 'junit' |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,8 @@ | ||
#!/bin/bash | ||
|
||
# This script generates the input file used by the Python script. | ||
# Replace the following lines with the actual commands to generate the input file. | ||
|
||
echo "| ANTI-REGRESSION.BC-COMP.01 | PASS |(https://example.com/test-report) | (assertEqualToResult (add-atom &kb (: axiom (nums 2 3)))) | (()) | (()) |" > /tmp/SHARED.UNITS | ||
|
||
# You can add more lines or commands to generate additional input data |