mirror of
https://github.com/Dasharo/coreboot.git
synced 2026-06-13 10:16:48 -07:00
Sergii Dmytruk
5fe5e4f092
This results in fewer per-workflow entries on https://github.com/Dasharo/coreboot/actions making the page more readable. Also don't fetch whole commit history, 2000 commits should be fine for practically anything (we have less than a 1000 commits on top of upstream at the moment). Upstream-Status: Pending Change-Id: Ica2ff8972121dba8de3e650fd045ede2763d6d29 Signed-off-by: Sergii Dmytruk <sergii.dmytruk@3mdeb.com>
64 lines
2.1 KiB
YAML
64 lines
2.1 KiB
YAML
name: Dasharo Checks
|
|
on:
|
|
push:
|
|
|
|
jobs:
|
|
|
|
check-upstream-status:
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- uses: actions/checkout@v3
|
|
with:
|
|
# Checkout pull request HEAD commit instead of merge commit
|
|
# See: https://github.com/actions/checkout#checkout-pull-request-head-commit-instead-of-merge-commit
|
|
ref: ${{ github.event.pull_request.head.sha }}
|
|
# This should be enough, no need to have ~60000 commits
|
|
fetch-depth: 2000
|
|
- uses: actions/setup-python@v3
|
|
- uses: pre-commit/action@v3.0.1
|
|
with:
|
|
extra_args: check-upstream-status --hook-stage pre-push
|
|
|
|
lint:
|
|
runs-on: ubuntu-22.04
|
|
steps:
|
|
- name: Checkout repository
|
|
uses: actions/checkout@v4
|
|
with:
|
|
# Checkout pull request HEAD commit instead of merge commit
|
|
# See: https://github.com/actions/checkout#checkout-pull-request-head-commit-instead-of-merge-commit
|
|
ref: ${{ github.event.pull_request.head.sha }}
|
|
# Top commit is enough
|
|
fetch-depth: 1
|
|
- name: Standard lint tests
|
|
run: util/lint/lint lint-stable
|
|
- name: Extended lint tests
|
|
run: util/lint/lint lint-extended
|
|
|
|
check-defconfigs:
|
|
runs-on: ubuntu-22.04
|
|
steps:
|
|
- name: Checkout repository
|
|
uses: actions/checkout@v4
|
|
with:
|
|
# Checkout pull request HEAD commit instead of merge commit
|
|
# See: https://github.com/actions/checkout#checkout-pull-request-head-commit-instead-of-merge-commit
|
|
ref: ${{ github.event.pull_request.head.sha }}
|
|
# Top commit is enough
|
|
fetch-depth: 1
|
|
- name: Verify defconfigs are up-to-date
|
|
run: |
|
|
# Start with the list of Dasharo boards, indicated by CONFIG_DASHARO
|
|
boards=( $(grep -l 'CONFIG_DASHARO=y' configs/config.*) )
|
|
|
|
# Update all of them before reporting anything
|
|
for c in $(printf "%s\n" "${boards[@]}" | sort); do
|
|
make savedefconfig DOTCONFIG="$c"
|
|
mv defconfig "$c"
|
|
done
|
|
|
|
# Print all the differences at once and fail or do nothing
|
|
git diff --exit-code
|
|
- name: Verify update capsules support in defconfigs
|
|
run: .github/scripts/capsule-lint.sh
|