Release for agda 2.6.4.1 (#1083)

* remove 'suggested' heap size from RTS options in makefile

The suggested heap size also seems to set a maximum.
I don't why we have a suggested heap size anyway, so I just removed that, since make failed with agda 2.6.4.1, compiled with ghc 9.8.1.

* incease agda version, see if it fails

* see if there even is a ci-problem with the makefile

* remove 'suggested' heap size from RTS options in makefile

The suggested heap size also seems to set a maximum.
I don't why we have a suggested heap size anyway, so I just removed that, since make failed with agda 2.6.4.1, compiled with ghc 9.8.1.

* incease agda version, see if it fails

* see if there even is a ci-problem with the makefile

* switch the heap suggestions off again

* README: update version table

* update version everywhere to 0.7

* nix: Update flake inputs

* fix

* add default max heap size

* set release date to today

* set release date to today

---------

Co-authored-by: Philipp Joram <[email protected]>

Author: felixwellen

.github/workflows/ci-ubuntu.yml

@@ -42,7 +42,7 @@ on:
 ########################################################################
 
 env:
-  AGDA_BRANCH: v2.6.4
+  AGDA_BRANCH: v2.6.4.1
   GHC_VERSION: 9.4.7
   CABAL_VERSION: 3.6.2.0
   CABAL_INSTALL: cabal install --overwrite-policy=always --ghc-options='-O1 +RTS -M6G -RTS'

CITATION.cff

@@ -3,6 +3,6 @@ message: "If you use this software, please cite it as below."
 authors:
 - name: "The Agda Community"
 title: "Cubical Agda Library"
-version: 0.6
-date-released: 2023-10-24
+version: 0.7
+date-released: 2024-02-12
 url: "https://github.com/agda/cubical"

GNUmakefile

@@ -2,7 +2,7 @@ AGDA_BIN?=agda
 AGDA_FLAGS?=-W error
 AGDA_EXEC?=$(AGDA_BIN) $(AGDA_FLAGS)
 FIX_WHITESPACE?=fix-whitespace
-RTS_OPTIONS=+RTS -H6G -RTS
+RTS_OPTIONS=+RTS -M32G -RTS
 AGDA=$(AGDA_EXEC) $(RTS_OPTIONS)
 RUNHASKELL?=runhaskell
 EVERYTHINGS=$(RUNHASKELL) ./Everythings.hs
@@ -31,7 +31,7 @@ check-whitespace:
 
 .PHONY : check-everythings
 check-everythings:
-	$(EVERYTHINGS) check-except Experiments
+	$(EVERYTHINGS) check-except
 
 .PHONY : gen-everythings
 gen-everythings:

README.md

@@ -15,15 +15,16 @@ If you want to use some specific release of Agda,
 the following table lists which releases of Agda you can use with which release of this library.
 Agda versions as written below, correspond to tags.
 
-| cubical library version | Agda versions     |
-|-------------------------|-------------------|
-| `current master`        | `v2.6.4`          |
-| `v0.6`                  | `v2.6.4`          |
-| `v0.5`                  | `v2.6.3` `v2.6.4` |
-| `v0.4`                  | `v2.6.2.2`        |
-| `v0.3`                  | `v2.6.2`          |
-| `v0.2`                  | `v2.6.1.3`        |
-| `v0.1`                  | `v2.6.0.1`        |
+| cubical library version | Agda versions       |
+|-------------------------|---------------------|
+| current master          | `v2.6.4` `v2.6.4.1` |
+| `v0.7`                  | `v2.6.4` `v2.6.4.1` |
+| `v0.6`                  | `v2.6.4`            |
+| `v0.5`                  | `v2.6.3` `v2.6.4`   |
+| `v0.4`                  | `v2.6.2.2`          |
+| `v0.3`                  | `v2.6.2`            |
+| `v0.2`                  | `v2.6.1.3`          |
+| `v0.1`                  | `v2.6.0.1`          |
 
 For example, if you have Agda 2.6.2.2, you can switch to version 0.4 of the cubical library with
 ```

cubical.agda-lib

@@ -1,4 +1,4 @@
-name: cubical-0.6
+name: cubical-0.7
 include: .
 depend:
 flags: --cubical --no-import-sorts -WnoUnsupportedIndexedMatch

flake.lock

@@ -8,7 +8,7 @@
     flake = false;
   };
   inputs.agda = {
-    url = "github:agda/agda/v2.6.4";
+    url = "github:agda/agda/v2.6.4.1";
     inputs = {
       nixpkgs.follows = "nixpkgs";
       flake-utils.follows = "flake-utils";
@@ -21,7 +21,7 @@
       overlay = final: prev: {
         cubical = final.agdaPackages.mkDerivation rec {
           pname = "cubical";
-          version = "0.6";
+          version = "0.7";
 
           src = cleanSourceWith {
             filter = name: type: