release: Rivet 0.8.0

CHANGELOG.md

@@ -2,6 +2,8 @@
 
 ## Unreleased
 
+## 0.8.0
+
 - Reject self-contradictory signed update manifests before publication or
   client acceptance: artifact sets must be non-empty and positive-size,
   minimum/previous versions must precede the release, and artifact

README.md

@@ -4,7 +4,7 @@ Build first-party native desktop apps with [Racket](https://racket-lang.org/). U
 
 **Human-first. Agent-native. Local by design.**
 
-[![CI](https://github.com/turinglambdaai/rivet/actions/workflows/ci.yml/badge.svg)](https://github.com/turinglambdaai/rivet/actions/workflows/ci.yml) ![Racket](https://img.shields.io/badge/Racket-9F1D20?logo=racket&logoColor=white) ![Windows](https://img.shields.io/badge/Windows-WinUI_3-0078D4?logo=windows11&logoColor=white) ![macOS](https://img.shields.io/badge/macOS-SwiftUI-000000?logo=apple&logoColor=white) [![License](https://img.shields.io/badge/license-MIT-blue)](LICENSE) ![Version](https://img.shields.io/badge/version-0.7.0-C15F3C)
+[![CI](https://github.com/turinglambdaai/rivet/actions/workflows/ci.yml/badge.svg)](https://github.com/turinglambdaai/rivet/actions/workflows/ci.yml) ![Racket](https://img.shields.io/badge/Racket-9F1D20?logo=racket&logoColor=white) ![Windows](https://img.shields.io/badge/Windows-WinUI_3-0078D4?logo=windows11&logoColor=white) ![macOS](https://img.shields.io/badge/macOS-SwiftUI-000000?logo=apple&logoColor=white) [![License](https://img.shields.io/badge/license-MIT-blue)](LICENSE) ![Version](https://img.shields.io/badge/version-0.8.0-C15F3C)
 
 **English** · [中文](README.zh-CN.md)
 

README.zh-CN.md

@@ -4,7 +4,7 @@
 
 **Human-first. Agent-native. Local by design. —— 为人而生，为 Agent 原生设计，本地优先。**
 
-[![CI](https://github.com/turinglambdaai/rivet/actions/workflows/ci.yml/badge.svg)](https://github.com/turinglambdaai/rivet/actions/workflows/ci.yml) ![Racket](https://img.shields.io/badge/Racket-9F1D20?logo=racket&logoColor=white) ![Windows](https://img.shields.io/badge/Windows-WinUI_3-0078D4?logo=windows11&logoColor=white) ![macOS](https://img.shields.io/badge/macOS-SwiftUI-000000?logo=apple&logoColor=white) [![License](https://img.shields.io/badge/license-MIT-blue)](LICENSE) ![Version](https://img.shields.io/badge/version-0.7.0-C15F3C)
+[![CI](https://github.com/turinglambdaai/rivet/actions/workflows/ci.yml/badge.svg)](https://github.com/turinglambdaai/rivet/actions/workflows/ci.yml) ![Racket](https://img.shields.io/badge/Racket-9F1D20?logo=racket&logoColor=white) ![Windows](https://img.shields.io/badge/Windows-WinUI_3-0078D4?logo=windows11&logoColor=white) ![macOS](https://img.shields.io/badge/macOS-SwiftUI-000000?logo=apple&logoColor=white) [![License](https://img.shields.io/badge/license-MIT-blue)](LICENSE) ![Version](https://img.shields.io/badge/version-0.8.0-C15F3C)
 
 [English](README.md) · **中文**
 

docs/ci.md

@@ -22,7 +22,7 @@ release environment.
 
 ## Copy-paste GitHub Actions workflow
 
-The following workflow pins Rivet 0.7.0. Update every Rivet package source and
+The following workflow pins Rivet 0.8.0. Update every Rivet package source and
 the Linux setup action to the same tag (or full commit) in one review. A direct
 Git source is intentional: the Racket Package Catalog has one current entry
 for a package name and cannot select an older Rivet release.
@@ -49,7 +49,7 @@ jobs:
           distribution: full
           variant: CS
           version: '9.3'
-      - run: raco pkg install --auto --no-docs 'https://github.com/turinglambdaai/rivet.git#v0.7.0'
+      - run: raco pkg install --auto --no-docs 'https://github.com/turinglambdaai/rivet.git#v0.8.0'
       - run: raco rivet doctor
       - run: raco rivet schema check rivet-schema.json
       - run: raco rivet build
@@ -68,7 +68,7 @@ jobs:
           distribution: full
           variant: CS
           version: '9.3'
-      - run: raco pkg install --auto --no-docs 'https://github.com/turinglambdaai/rivet.git#v0.7.0'
+      - run: raco pkg install --auto --no-docs 'https://github.com/turinglambdaai/rivet.git#v0.8.0'
       - run: raco rivet doctor
       - run: raco rivet schema check rivet-schema.json
       - run: raco rivet build
@@ -78,13 +78,13 @@ jobs:
     steps:
       - uses: actions/checkout@v7
       - name: Set up embeddable Racket CS
-        uses: turinglambdaai/rivet/.github/actions/setup-embed-racket@v0.7.0
+        uses: turinglambdaai/rivet/.github/actions/setup-embed-racket@v0.8.0
       - name: Install GTK4 development files
         run: |
           sudo apt-get update
           sudo apt-get install --yes libgtk-4-dev
       - name: Install the matching Rivet package and dependencies
-        run: raco pkg install --auto --no-docs 'https://github.com/turinglambdaai/rivet.git#v0.7.0'
+        run: raco pkg install --auto --no-docs 'https://github.com/turinglambdaai/rivet.git#v0.8.0'
       - run: raco rivet doctor
       - run: raco rivet schema check rivet-schema.json
       - run: raco rivet build

docs/ci.zh-CN.md

@@ -19,7 +19,7 @@ CI 应使用与发布任务相同类别的 runner 和工具链：
 
 ## 可直接使用的 GitHub Actions 工作流
 
-下面的工作流固定到 Rivet 0.7.0。升级时，应在同一次评审中把每处 Rivet
+下面的工作流固定到 Rivet 0.8.0。升级时，应在同一次评审中把每处 Rivet
 包来源和 Linux setup action 更新到同一个标签（或完整 commit）。这里有意
 使用 Git 来源：Racket Package Catalog 对每个包名只保留一个当前入口，不能
 选择较旧的 Rivet 版本。
@@ -46,7 +46,7 @@ jobs:
           distribution: full
           variant: CS
           version: '9.3'
-      - run: raco pkg install --auto --no-docs 'https://github.com/turinglambdaai/rivet.git#v0.7.0'
+      - run: raco pkg install --auto --no-docs 'https://github.com/turinglambdaai/rivet.git#v0.8.0'
       - run: raco rivet doctor
       - run: raco rivet schema check rivet-schema.json
       - run: raco rivet build
@@ -65,7 +65,7 @@ jobs:
           distribution: full
           variant: CS
           version: '9.3'
-      - run: raco pkg install --auto --no-docs 'https://github.com/turinglambdaai/rivet.git#v0.7.0'
+      - run: raco pkg install --auto --no-docs 'https://github.com/turinglambdaai/rivet.git#v0.8.0'
       - run: raco rivet doctor
       - run: raco rivet schema check rivet-schema.json
       - run: raco rivet build
@@ -75,13 +75,13 @@ jobs:
     steps:
       - uses: actions/checkout@v7
       - name: Set up embeddable Racket CS
-        uses: turinglambdaai/rivet/.github/actions/setup-embed-racket@v0.7.0
+        uses: turinglambdaai/rivet/.github/actions/setup-embed-racket@v0.8.0
       - name: Install GTK4 development files
         run: |
           sudo apt-get update
           sudo apt-get install --yes libgtk-4-dev
       - name: Install the matching Rivet package and dependencies
-        run: raco pkg install --auto --no-docs 'https://github.com/turinglambdaai/rivet.git#v0.7.0'
+        run: raco pkg install --auto --no-docs 'https://github.com/turinglambdaai/rivet.git#v0.8.0'
       - run: raco rivet doctor
       - run: raco rivet schema check rivet-schema.json
       - run: raco rivet build

info.rkt

@@ -3,8 +3,8 @@
 (define collection 'multi)
 ;; Racket package versions reject a trailing ".0" component. Release tags and
 ;; native artifacts remain three-component SemVer via `release-version`.
-(define version "0.7")
-(define release-version "0.7.0")
+(define version "0.8")
+(define release-version "0.8.0")
 (define pkg-desc "Native application foundation for Racket")
 (define pkg-authors '(turinglambdaai))
 (define license 'MIT)

tests/documentation.rkt

@@ -132,12 +132,12 @@
 (for ([guide (in-list (list ci-guide ci-guide-zh))])
   (check-file-contains
    guide
-   "https://github.com/turinglambdaai/rivet.git#v0.7.0")
-  (check-file-contains guide "setup-embed-racket@v0.7.0")
+   "https://github.com/turinglambdaai/rivet.git#v0.8.0")
+  (check-file-contains guide "setup-embed-racket@v0.8.0")
   (define text (file->string guide))
   (check-true
    (regexp-match?
-    #px"(?s:linux-host:.*setup-embed-racket@v0[.]7[.]0.*raco pkg install.*rivet[.]git#v0[.]7[.]0)"
+    #px"(?s:linux-host:.*setup-embed-racket@v0[.]8[.]0.*raco pkg install.*rivet[.]git#v0[.]8[.]0)"
     text)
    (format "~a must install the pinned package after the embeddable runtime"
            (find-relative-path repository-root guide))))