Skip to content
CI-Scripts

[Ready] Adding coverage generation and using it in the pipeline #76

Sign in to view logs

[Ready] Adding coverage generation and using it in the pipeline

[Ready] Adding coverage generation and using it in the pipeline #76

Workflow file for this run

.github/workflows/main.yml at 86b1961
name: CI-Scripts
on:
push:
branches:
- main
pull_request:
paths:
- ".github/workflows/*"
- "CI/*"
- "**.c"
- "**.cpp"
- "**.h"
- "**.hpp"
jobs:
# Build-targets:
# runs-on: ubuntu-22.04
# timeout-minutes: 15
# steps:
# - uses: actions/checkout@v4
# - uses: ssciwr/doxygen-install@v1
# - uses: seanmiddleditch/gha-setup-ninja@master
# - uses: jwlawson/actions-setup-cmake@v1.14
# with:
# cmake-version: "3.25.x"
# - name: Build target specific code
# shell: bash
# run: bash CI/BuildAllTargetSpecific.sh
# Test-all:
# runs-on: ubuntu-22.04
# timeout-minutes: 15
# steps:
# - uses: actions/checkout@v4
# - uses: ssciwr/doxygen-install@v1
# - uses: seanmiddleditch/gha-setup-ninja@master
# - uses: jwlawson/actions-setup-cmake@v1.14
# with:
# cmake-version: "3.25.x"
# - name: Test all
# shell: bash
# run: |
# bash CI/TestAll.sh
# echo
# echo "//===================="
# echo "// Push coverage badge"
# echo "//===================="
# echo
# git config --global user.name 'github-actions[bot]'
# git config --global user.email 'github-actions[bot]@users.noreply.github.com'
# git add Coverage/coverage.svg
# git commit -m "doc: Update coverage report"
# git push
# - uses: VeryGoodOpenSource/very_good_coverage@v2
# with:
# path: "Coverage/coverage.info"
# min_coverage: 80
# Generate-Doxygen:
# runs-on: ubuntu-22.04
# timeout-minutes: 15
# steps:
# - uses: actions/checkout@v4
# - uses: ssciwr/doxygen-install@v1
# - uses: seanmiddleditch/gha-setup-ninja@master
# - uses: jwlawson/actions-setup-cmake@v1.14
# with:
# cmake-version: "3.25.x"
# - name: Generate doxygen
# shell: bash
# run: bash CI/GenerateDoxygen.sh
Dummy-push:
runs-on: ubuntu-22.04
timeout-minutes: 15
steps:
- uses: actions/checkout@v4
with:
ref: ${{ github.event.pull_request.head.ref }}
- name: Test all
shell: bash
run: |
echo date +%s > tmp.txt
cat tmp.txt
pwd
git diff
- uses: EndBug/add-and-commit@v9
with:
add: tmp.txt
message: "github-action: update coverage badge"
default_author: github_actions