From 4b99fffafdb168b385ccedba9f2950425b70e9af Mon Sep 17 00:00:00 2001
From: Matthew Lutze <mlutze@users.noreply.github.com>
Date: Sat, 4 Oct 2025 11:03:22 +0200
Subject: [PATCH 1/3] bump version

---
 flix.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/flix.toml b/flix.toml
index 06e94dd..07af53f 100644
--- a/flix.toml
+++ b/flix.toml
@@ -7,4 +7,4 @@ authors = ["Matthew Lutze", "Jonathan Starup"]
 
 [dependencies]
 "github:JonathanStarup/Flix-ANSI-Terminal" = "1.8.0"
-"github:mlutze/flix-json" = "0.12.18"
+"github:mlutze/flix-json" = "0.12.19"

From 80b551cd5ce06e0b40946bf26cf45c96594054a6 Mon Sep 17 00:00:00 2001
From: Matthew Lutze <mlutze@users.noreply.github.com>
Date: Sat, 4 Oct 2025 11:08:29 +0200
Subject: [PATCH 2/3] update for Flix

---
 .github/workflows/build-nightly.yaml | 9 +++------
 src/Main.flix                        | 6 +++---
 2 files changed, 6 insertions(+), 9 deletions(-)

diff --git a/.github/workflows/build-nightly.yaml b/.github/workflows/build-nightly.yaml
index ed7bbcd..8dde572 100644
--- a/.github/workflows/build-nightly.yaml
+++ b/.github/workflows/build-nightly.yaml
@@ -17,12 +17,9 @@ jobs:
           java-version: 21
           distribution: zulu
       - run: |
-          # download today's or yesterday's Flix JAR
-          today=$(date -d today +%Y-%m-%d)
-          yesterday=$(date -d yesterday +%Y-%m-%d)
-          today_url="https://flix.dev/nightly/flix-${today}.jar"
-          yesterday_url="https://flix.dev/nightly/flix-${yesterday}.jar"
-          curl -L -f "${today_url}" > flix.jar || curl -L -f "${yesterday_url}" > flix.jar
+          # download the latest nightly Flix JAR
+          url="https://github.com/mlutze/flix-nightly/releases/latest/download/flix.jar"
+          curl -L -f "$url" > flix.jar
 
           # run tests
           java -jar flix.jar test --github-token ${{ github.token }}
diff --git a/src/Main.flix b/src/Main.flix
index 6d87ee0..ec79520 100644
--- a/src/Main.flix
+++ b/src/Main.flix
@@ -1,5 +1,5 @@
 
-pub def main(): Unit \ {IO, Sys, NonDet} = Flixball.Main.main()
+pub def main(): Unit \ IO = Flixball.Main.main()
 
 mod Flixball.Main {
     import java.lang.Thread
@@ -16,7 +16,7 @@ mod Flixball.Main {
     use Flixball.Options.usage
     use Flixball.Version.version
 
-    pub def main(): Unit \ {IO, Sys, NonDet} = {
+    pub def main(): Unit \ IO = {
         run {
             let args = Environment.getArgs();
             match parse(args) {
@@ -49,7 +49,7 @@ mod Flixball.Main {
         }
     }
 
-    def mkRunConfig(runOpts: List[RunOption], dispOpts: List[DisplayOption]): Result[String, RunConfig] \ IO + FileReadWithResult + NonDet = {
+    def mkRunConfig(runOpts: List[RunOption], dispOpts: List[DisplayOption]): Result[String, RunConfig] \ IO + FileReadWithResult = {
         use Result.flatMap;
         let seed = runOpts
             |> List.findMap(x -> match x {

From 6e442d3184d09cec71ae0c584bda791d9eedb6fa Mon Sep 17 00:00:00 2001
From: Matthew Lutze <mlutze@users.noreply.github.com>
Date: Sat, 4 Oct 2025 11:13:41 +0200
Subject: [PATCH 3/3] nudge