Hotfix/gh pages (#2035)

* Do not remove gitmodules * gh-pages needs the .gitmodules info to checkout appropriate web/ and submodules, k-web-theme isn't setup properly adding explicit submodule init and update * Set Version: 1.0.276 * Remove manual submodule checkout * Set Version: 1.0.277 * Set Version: 1.0.278 --------- Co-authored-by: devops <[email protected]> Co-authored-by: Everett Hildenbrandt <[email protected]>
runtimeverification · Aug 24, 2023 · ba06470 · ba06470
1 parent 59d48f8
commit ba06470
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/.github/workflows/master-push.yml b/.github/workflows/master-push.yml
@@ -153,7 +153,7 @@ jobs:
           npm run build-sitemap
           cd -
           mv web/public_content ./
-          rm -rf $(find . -maxdepth 1 -not -name public_content -a -not -name .git -a -not -path . -a -not -path .. -a -not -name CNAME)
+          rm -rf $(find . -maxdepth 1 -not -name public_content -a -not -name .git -a -not -name .gitmodules -a -not -path . -a -not -path .. -a -not -name CNAME)
           mv public_content/* ./
           rm -rf public_content
           git add ./

diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "kevm-pyk"
-version = "1.0.277"
+version = "1.0.278"
 description = ""
 authors = [
     "Runtime Verification, Inc. <[email protected]>",

diff --git a/package/debian/changelog b/package/debian/changelog
@@ -1,4 +1,4 @@
-kevm (1.0.277) unstable; urgency=medium
+kevm (1.0.278) unstable; urgency=medium
 
   * Initial Release.
 

diff --git a/package/version b/package/version
@@ -1 +1 @@
-1.0.277
+1.0.278