Upgrade Pulse.

gebner · gebner · commit fd5a2f1d2486 · 2026-04-29T18:11:22.000Z
diff --git a/opt/install-fstar.sh b/opt/install-fstar.sh
@@ -1,2 +1,2 @@
 #!/usr/bin/env bash
-curl -fsSL https://aka.ms/install-fstar | bash -s -- --nightly --version 2026-04-27 "$@"
+curl -fsSL https://aka.ms/install-fstar | bash -s -- --nightly --version 2026-04-29 "$@"

Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`	`1`	`#!/usr/bin/env bash`
`2`		`-curl -fsSL https://aka.ms/install-fstar \| bash -s -- --nightly --version 2026-04-27 "$@"`
	`2`	`+curl -fsSL https://aka.ms/install-fstar \| bash -s -- --nightly --version 2026-04-29 "$@"`