ci: generate custom version name for dev + main tags

2026-08-17 11:26:28 +00:00 · 2023-05-24 23:38:06 +02:00
parent 8e98c1c63b
commit e7e762d6d9
5 changed files with 20 additions and 1 deletions
@@ -16,3 +16,5 @@ jobs:
      run: npm test
    - name: Build the interface
      run: npm run build
+      env:
+        DEVELOPMENT_BUILD: ${{ github.event.pull_request.head.sha }}