update build status page;

isabelle-prover · Nov 5, 2024 · 8539a73 · 8539a73
1 parent fcb4717
commit 8539a73
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/_shortlinks/build.md b/_shortlinks/build.md
@@ -1,5 +1,5 @@
 ---
-redirect: https://isabelle.sketis.net/devel/build_status/index.html
+redirect: https://isatest.sketis.net/devel/build_status/index.html
 description: Build status information including performance statistics and graphs.
 category: Infrastructure
 ---