Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Release for agda 2.6.4.1 #1083

Merged
merged 15 commits into from
Feb 12, 2024
Merged

Release for agda 2.6.4.1 #1083

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
15 commits
Select commit Hold shift + click to select a range
6ebe52b
remove 'suggested' heap size from RTS options in makefile
felixwellen Dec 4, 2023
f519d94
incease agda version, see if it fails
felixwellen Dec 4, 2023
3195827
see if there even is a ci-problem with the makefile
felixwellen Dec 4, 2023
c63998c
remove 'suggested' heap size from RTS options in makefile
felixwellen Dec 4, 2023
3b9292c
incease agda version, see if it fails
felixwellen Dec 4, 2023
26cacce
see if there even is a ci-problem with the makefile
felixwellen Dec 4, 2023
c30632e
switch the heap suggestions off again
felixwellen Jan 22, 2024
1d814c9
README: update version table
felixwellen Jan 22, 2024
b3622fa
update version everywhere to 0.7
felixwellen Jan 22, 2024
499a58d
nix: Update flake inputs
phijor Jan 22, 2024
981766e
Merge remote-tracking branch 'origin/release-for-2.6.4.1' into fwelle…
felixwellen Jan 23, 2024
946138e
fix
felixwellen Feb 8, 2024
bd3a04f
add default max heap size
felixwellen Feb 11, 2024
1181fcc
set release date to today
felixwellen Feb 11, 2024
08b0bb5
set release date to today
felixwellen Feb 12, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion .github/workflows/ci-ubuntu.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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'
Expand Down
4 changes: 2 additions & 2 deletions CITATION.cff
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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"
4 changes: 2 additions & 2 deletions GNUmakefile
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down Expand Up @@ -31,7 +31,7 @@ check-whitespace:

.PHONY : check-everythings
check-everythings:
$(EVERYTHINGS) check-except Experiments
$(EVERYTHINGS) check-except

.PHONY : gen-everythings
gen-everythings:
Expand Down
19 changes: 10 additions & 9 deletions README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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
```
Expand Down
2 changes: 1 addition & 1 deletion cubical.agda-lib
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
name: cubical-0.6
name: cubical-0.7
include: .
depend:
flags: --cubical --no-import-sorts -WnoUnsupportedIndexedMatch
20 changes: 10 additions & 10 deletions flake.lock
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

4 changes: 2 additions & 2 deletions flake.nix
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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";
Expand All @@ -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:
Expand Down
Loading