From 3cb9208554e07584fb89638568f673c54c36f39d Mon Sep 17 00:00:00 2001
From: F-WRunTime <freeman.wenzl@runtimeverification.com>
Date: Thu, 27 Jun 2024 16:31:14 -0600
Subject: [PATCH] Set a wait step at the end of pYk publish to check for the
 released version of kframework to resolve. And then move on.

---
 .github/workflows/release.yml | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index 2c1fd886c47..368cb11d58b 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -441,6 +441,16 @@ jobs:
           user: __token__
           password: ${{ secrets.PYPI_TOKEN }}
 
+      - name: Wait for PyPi to publish Pyk
+        run: |
+          while true; do
+            VERSION=$(cat package/version)
+            if curl --fail --silent --location --head https://pypi.org/project/kframework/$VERSION; then
+              break
+            fi
+            sleep 10
+          done
+
   notify-dependents:
     name: 'Notify Dependents'
     runs-on: ubuntu-latest