Update coq-timing-diff.yml with optional build target

JasonGross · Mar 4, 2025 · 3dd45e7 · 3dd45e7
1 parent 3845b15
commit 3dd45e7
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/.github/workflows/coq-timing-diff.yml b/.github/workflows/coq-timing-diff.yml
@@ -2,6 +2,12 @@ name: CI (Coq, timing-diff, docker, dev)
 
 on:
   workflow_dispatch:
+    inputs:
+      build_target:
+        description: 'Build target for timing diff'
+        required: false
+        # default: 'standalone-ocaml lite-generated-files'
+        type: string
 
 jobs:
   build:
@@ -97,7 +103,7 @@ jobs:
 
           # Run the timing diff script
           eval $(opam env)
-          etc/coq-scripts/timing/make-pretty-timed-diff-branch.sh "$BASE_SHA" "$CURRENT_BRANCH"
+          etc/coq-scripts/timing/make-pretty-timed-diff-branch.sh "$BASE_SHA" "$CURRENT_BRANCH" ${{ github.event.inputs.build_target }}
 
     - name: Display commits between base and current
       run: |