55 lines
1.3 KiB
YAML
55 lines
1.3 KiB
YAML
name: CI - Products
|
|
|
|
permissions:
|
|
contents: read
|
|
|
|
on:
|
|
push:
|
|
paths:
|
|
# NOTE: GitHub Actions do not allow using YAML references, the same path
|
|
# list is used below for the pull request event. Keep both lists in sync!!
|
|
|
|
# this file as well
|
|
- .github/workflows/ci-products.yml
|
|
# any change in the products subfolder
|
|
- products.d/**
|
|
# except Markdown documentation
|
|
- "!products.d/**.md"
|
|
|
|
pull_request:
|
|
paths:
|
|
# NOTE: GitHub Actions do not allow using YAML references, the same path
|
|
# list is used above for the push event. Keep both lists in sync!!
|
|
|
|
# this file as well
|
|
- .github/workflows/ci-products.yml
|
|
# any change in the products subfolder
|
|
- products.d/**
|
|
# except Markdown documentation
|
|
- "!products.d/**.md"
|
|
|
|
# allow running manually
|
|
workflow_dispatch:
|
|
|
|
jobs:
|
|
products_tests:
|
|
# the default timeout is 6 hours, that's too much if the job gets stuck
|
|
timeout-minutes: 60
|
|
runs-on: ubuntu-latest
|
|
env:
|
|
COVERAGE: 1
|
|
|
|
defaults:
|
|
run:
|
|
working-directory: ./products.d
|
|
|
|
steps:
|
|
|
|
- name: Git Checkout
|
|
uses: actions/checkout@v6
|
|
|
|
- name: Configure git
|
|
run: git config --global --add safe.directory "$GITHUB_WORKSPACE"
|
|
|
|
- name: Check product well-formedness
|
|
run: make check
|