Merge pull request #263 from zickgraf/master

Remove CircleCI
homalg-project · Oct 25, 2024 · b848348 · b848348
2 parents 1d51486 + 36b0880
commit b848348
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 46 deletions.
diff --git a/.circleci/config.yml b/.circleci/config.yml
diff --git a/PackageInfo.g b/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "FinSetsForCAP",
 Subtitle := "The elementary topos of (skeletal) finite sets",
-Version := "2024.10-01",
+Version := "2024.10-02",
 
 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",