Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
30 changes: 30 additions & 0 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,30 @@
name: CI

on:
pull_request:
push:
branches: [main]

jobs:
validate:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4

- name: Setup Python
uses: actions/setup-python@v5
with:
python-version: '3.12'

- name: Build scripts
run: python3 scripts/build.py --outdir ./dist

- name: Syntax check
run: |
for f in dist/*.sh; do
bash -n "$f"
echo "OK: $f"
done

- name: Verify translation completeness
run: python3 scripts/build.py --check-keys
37 changes: 37 additions & 0 deletions .github/workflows/release.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,37 @@
name: Build and Release

on:
release:
types: [created]

permissions:
contents: write

jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4

- name: Setup Python
uses: actions/setup-python@v5
with:
python-version: '3.12'

- name: Build scripts
run: python3 scripts/build.py --outdir ./dist

- name: Verify syntax
run: |
for f in dist/*.sh; do
bash -n "$f"
echo "OK: $f"
done

- name: Verify translation completeness
run: python3 scripts/build.py --check-keys

- name: Upload release assets
uses: softprops/action-gh-release@v2
with:
files: dist/*.sh
51 changes: 51 additions & 0 deletions .github/workflows/update-gpu-ids.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,51 @@
name: Update GPU ID Database

on:
schedule:
- cron: '0 0 * * 1' # Weekly on Monday
workflow_dispatch: # Manual trigger

permissions:
contents: write
pull-requests: write

jobs:
update:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4

- name: Setup Python
uses: actions/setup-python@v5
with:
python-version: '3.12'

- name: Generate GPU ID database
run: python3 scripts/update_gpu_ids.py

- name: Check for changes
id: diff
run: |
if git diff --quiet data/gpu-ids.sh; then
echo "changed=false" >> $GITHUB_OUTPUT
else
echo "changed=true" >> $GITHUB_OUTPUT
echo "## GPU ID Database Changes" >> $GITHUB_STEP_SUMMARY
git diff --stat data/gpu-ids.sh >> $GITHUB_STEP_SUMMARY
fi

- name: Create PR if changed
if: steps.diff.outputs.changed == 'true'
uses: peter-evans/create-pull-request@v7
with:
title: "chore: update GPU PCI device ID database"
body: |
Auto-generated from [pci-ids.ucw.cz](https://pci-ids.ucw.cz/).

This PR updates the NVIDIA GPU PCI device ID database used for
architecture detection and open/proprietary kernel module selection.

Please review the diff for new GPU architecture entries.
branch: auto/update-gpu-ids
commit-message: "chore: update GPU PCI device ID database"
labels: automated
4 changes: 3 additions & 1 deletion .gitignore
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
.vscode
__pycache__/

language_packs/*.sh
# Build output
dist/
Loading