Check BIOS stamps on PRs and clarify regeneration and commit guidance (#729)

2026-10-26 02:11:36 -04:00 · 2026-10-21 13:25:01 -07:00
parent dfe475cfd6
commit e3ea739d7c
4 changed files with 49 additions and 1 deletions
@@ -0,0 +1,17 @@
+name: BIOS emitter stamps
+
+on:
+  pull_request:
+  workflow_dispatch:
+
+permissions:
+  contents: read
+
+jobs:
+  bios-stamps:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v6
+      - name: Check committed BIOS emitter stamps
+        shell: bash
+        run: bash tools/ci/check_bios_stamps.sh --framework .