github/ere
1
1
Fork 0
mirror of https://github.com/eth-act/ere.git synced 2026-04-03 03:00:17 -04:00
Code Issues Packages Projects Releases Wiki Activity

ci: extract cuda archs into workflow-level env variable

Browse Source
This commit is contained in:
han0110
2026-02-11 16:13:28 +00:00
parent c8be867217
commit ab96e9c567
2 changed files with 10 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
.github/workflows/build-and-push-images.yml vendored
View File

@@ -5,6 +5,9 @@ on:
branches:
- master
env:
CUDA_ARCHS: '89,120'
jobs:
image_meta:
name: Get image metadata
@@ -118,7 +121,7 @@ jobs:
--registry ${{ needs.image_meta.outputs.registry }} \
--tag ${{ needs.image_meta.outputs.sha_tag }}-cuda \
--base \
--cuda-archs '89,120'
--cuda-archs '${{ env.CUDA_ARCHS }}'
- name: Push ere-base and ere-base-${{ matrix.zkvm }} images with CUDA enabled
run: |
@@ -131,7 +134,7 @@ jobs:
--registry ${{ needs.image_meta.outputs.registry }} \
--tag ${{ needs.image_meta.outputs.sha_tag }}-cuda \
--server \
--cuda-archs '89,120'
--cuda-archs '${{ env.CUDA_ARCHS }}'
- name: Push ere-server-${{ matrix.zkvm }} image with CUDA enabled
run: |
@@ -170,7 +173,7 @@ jobs:
--registry ${{ needs.image_meta.outputs.registry }} \
--tag ${{ needs.image_meta.outputs.sha_tag }}-cuda \
--cluster \
--cuda-archs '89,120'
--cuda-archs '${{ env.CUDA_ARCHS }}'
- name: Push ere-cluster-${{ matrix.zkvm }} image with CUDA enabled
run: |

7
.github/workflows/test-zkvm.yml vendored
View File

@@ -26,6 +26,7 @@ on:
env:
CARGO_TERM_COLOR: always
CUDA_ARCHS: '89,120'
jobs:
image_meta:
@@ -98,7 +99,7 @@ jobs:
--registry ${{ needs.image_meta.outputs.image_registry }} \
--tag ${{ needs.image_meta.outputs.image_tag }}-cuda \
--cached-tag "$CACHED_TAG" \
--cuda-archs '89,120'
--cuda-archs '${{ env.CUDA_ARCHS }}'
- name: Build ere-server-${{ inputs.zkvm }} image with CUDA enabled
run: |
@@ -107,7 +108,7 @@ jobs:
--registry ${{ needs.image_meta.outputs.image_registry }} \
--tag ${{ needs.image_meta.outputs.image_tag }}-cuda \
--server \
--cuda-archs '89,120'
--cuda-archs '${{ env.CUDA_ARCHS }}'
- name: Build ere-cluster-${{ inputs.zkvm }} image with CUDA enabled
if: ${{ inputs.cluster && needs.image_meta.outputs.dockerfile_changed == 'true' }}
@@ -117,7 +118,7 @@ jobs:
--registry ${{ needs.image_meta.outputs.image_registry }} \
--tag ${{ needs.image_meta.outputs.image_tag }}-cuda \
--cluster \
--cuda-archs '89,120'
--cuda-archs '${{ env.CUDA_ARCHS }}'
clippy_via_docker:
name: Clippy via Docker