Merge pull request #9 from mohamed-barakat/devel

applied PackageJanitor
homalg-project · Jun 29, 2023 · 98877fa · 98877fa
2 parents c1bb57a + d181e5f
commit 98877fa
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 3 deletions.
diff --git a/.github/workflows/Tests.yml b/.github/workflows/Tests.yml
@@ -67,7 +67,7 @@ jobs:
           if [ -d "CategoricalTowers/Toposes" ]; then make -C "CategoricalTowers/Toposes" doc; fi
       - name: Test HeckeCategories
         run: |
-          make -C HeckeCategories -j $(nproc) --output-sync ci-test
+          make -C HeckeCategories --trace -j $(nproc) --output-sync ci-test
       - name: Release package or simulate release
         run: |
           cd HeckeCategories

diff --git a/PackageInfo.g b/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "HeckeCategories",
 Subtitle := "Categorification of Hecke algebras",
-Version := "2023.03-01",
+Version := "2023.06-01",
 
 Date := (function ( ) if IsBound( GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE ) then return GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE; else return Concatenation( ~.Version{[ 1 .. 4 ]}, "-", ~.Version{[ 6, 7 ]}, "-01" ); fi; end)( ),
 License := "GPL-2.0-or-later",

diff --git a/dev/upload_codecov.sh b/dev/upload_codecov.sh
@@ -23,4 +23,7 @@ shasum -a 256 -c codecov.SHA256SUM
 
 # execute
 chmod +x codecov
-./codecov -Z -v -s ../ || (sleep 60; ./codecov -Z -v -s ../ || (sleep 60; ./codecov -Z -v -s ../))
+while ! ./codecov -Z -v -s ../; do
+    echo "Codecov upload failed, retrying in 60s"
+    sleep 60
+done