GitHub CI: workflow_dispatch container input
Allow the use of an alternate devcontainer when manually running CI
scripts.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 837b60d..cfc36a8 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -7,6 +7,11 @@
branches: [ main ]
merge_group:
workflow_dispatch:
+ inputs:
+ devcontainer:
+ description: 'Set to override default build container'
+ type: string
+ required: false
jobs:
run-tests:
@@ -27,7 +32,7 @@
fail-fast: false
runs-on: ubuntu-latest
container:
- image: ghcr.io/cheriot-platform/devcontainer:latest
+ image: ${{ inputs.devcontainer || 'ghcr.io/cheriot-platform/devcontainer:latest' }}
options: --user 1001
steps:
- name: Checkout repository and submodules