remove spaces from name

pasqal-io · Jan 18, 2025 · d5301dc · d5301dc
1 parent 29dffce
commit d5301dc
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 4 deletions.
diff --git a/.github/workflows/publish_emu_base.yml b/.github/workflows/publish_emu_base.yml
@@ -1,4 +1,4 @@
-name: "Publish emu-base"
+name: emu-base
 
 on:
   push:

diff --git a/.github/workflows/publish_emu_mps.yml b/.github/workflows/publish_emu_mps.yml
@@ -1,8 +1,8 @@
-name: "Publish emu-mps"
+name: emu-mps
 
 on:
   workflow_run:
-    workflows: ["Publish emu-base"]
+    workflows: [emu-base]
     types:
       - completed
 concurrency:
@@ -13,6 +13,7 @@ jobs:
   publish_emu_mps:
     name: Publish emu-mps to PyPI
     #if: startsWith(github.ref, 'refs/tags/v')
+    if: ${{ github.event.workflow_run.conclusion == 'success' }}
     runs-on: ubuntu-latest
     permissions:
       # IMPORTANT: this permission is mandatory for trusted publishing

diff --git a/emu_base/__init__.py b/emu_base/__init__.py
@@ -44,4 +44,4 @@
     "DEFAULT_MAX_KRYLOV_DIM",
 ]
 
-__version__ = "1.2.3"
+__version__ = "1.2.4"