From 0a6aed7e6d83ecb4115602c4cb6473a166dac5e0 Mon Sep 17 00:00:00 2001 From: Martin Jonas Date: Fri, 16 Feb 2024 22:50:53 +0100 Subject: [PATCH] Use master branch in the submission link. --- web/content/solver_submission/index.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/web/content/solver_submission/index.md b/web/content/solver_submission/index.md index 72a158ae..b0bd4bea 100644 --- a/web/content/solver_submission/index.md +++ b/web/content/solver_submission/index.md @@ -6,6 +6,6 @@ draft = false The solvers are submitted via pull requests to the SMT-COMP repository. To submit your solver, please follow the -[instructions](https://github.com/SMT-COMP/smt-comp.github.io/tree/new_submission/submissions). +[instructions](https://github.com/SMT-COMP/smt-comp.github.io/tree/master/submissions). The detailed description of the fields in the solver JSON file is available in the [schema](schema.html).