From 8ba0da92fc7a05548d30af0717e7d2dc4410141c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= Date: Tue, 14 May 2024 10:22:04 +0200 Subject: [PATCH] Fix submission branch to master - the template file was not modified --- submissions/Readme.md | 2 +- submissions/template/template.md | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/submissions/Readme.md b/submissions/Readme.md index a83bff88..1d117926 100644 --- a/submissions/Readme.md +++ b/submissions/Readme.md @@ -6,7 +6,7 @@ The creation of new submission is done through the creation of a new json file in this directory and the submission of a Pull Request. It could be done directly from the web-interface and starting with a template: -[create a new submission](https://github.com/SMT-COMP/smt-comp.github.io/new/new_submission/submissions?value=%7B%0A%20%20%20%20%22name%22%3A%20%22%3Csolver%20name%3E%22%2C%0A%20%20%20%20%22contributors%22%3A%20%5B%0A%20%20%20%20%20%20%20%20%22First%20Smith%22%2C%0A%20%20%20%20%20%20%20%20%7B%20%22name%22%3A%20%22Second%20Baker%22%2C%20%22website%22%3A%20%22http%3A%2F%2Fbaker.com%2F%22%20%7D%0A%20%20%20%20%5D%2C%0A%20%20%20%20%22contacts%22%3A%20%5B%22contact%20name%20%3Ccontact%40email.com%3E%22%5D%2C%0A%20%20%20%20%22archive%22%3A%20%7B%0A%20%20%20%20%20%20%20%20%22url%22%3A%20%22http%3A%2F%2Fexample.com%2Fsolver.tar.gz%22%2C%0A%20%20%20%20%20%20%20%20%22h%22%3A%20%7B%20%22sha256%22%3A%20%22012345%22%20%7D%0A%20%20%20%20%7D%2C%0A%20%20%20%20%22website%22%3A%20%22http%3A%2F%2Fexample.com%2F%22%2C%0A%20%20%20%20%22system_description%22%3A%20%22http%3A%2F%2Fexample.com%2Fsystem.pdf%22%2C%0A%20%20%20%20%22command%22%3A%20%5B%22relative_cmd%22%2C%20%22default_command_line%22%5D%2C%0A%20%20%20%20%22solver_type%22%3A%20%22Standalone%22%2C%0A%20%20%20%20%22participations%22%3A%20%5B%0A%20%20%20%20%20%20%20%20%7B%20%22tracks%22%3A%20%5B%22SingleQuery%22%5D%2C%20%22divisions%22%3A%20%5B%22Equality%22%5D%20%7D%2C%0A%20%20%20%20%20%20%20%20%7B%0A%20%20%20%20%20%20%20%20%20%20%20%20%22tracks%22%3A%20%5B%22SingleQuery%22%5D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22logics%22%3A%20%22QF_.%2ALRA.%2A%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22command%22%3A%20%5B%22relative_cmd%22%2C%20%22other_option%22%5D%0A%20%20%20%20%20%20%20%20%7D%2C%0A%20%20%20%20%20%20%20%20%7B%0A%20%20%20%20%20%20%20%20%20%20%20%20%22tracks%22%3A%20%5B%22SingleQuery%22%5D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22logics%22%3A%20%5B%22LIA%22%5D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22archive%22%3A%20%7B%20%22url%22%3A%20%22http%3A%2F%2Fexample.com%2Fsolver_lia.tar.gz%22%20%7D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22command%22%3A%20%5B%22relative_cmd%22%2C%20%22--super-lia%22%5D%0A%20%20%20%20%20%20%20%20%7D%0A%20%20%20%20%5D%0A%7D%0A) +[create a new submission](https://github.com/SMT-COMP/smt-comp.github.io/new/master/submissions?value=%7B%0A%20%20%20%20%22name%22%3A%20%22%3Csolver%20name%3E%22%2C%0A%20%20%20%20%22contributors%22%3A%20%5B%0A%20%20%20%20%20%20%20%20%22First%20Smith%22%2C%0A%20%20%20%20%20%20%20%20%7B%20%22name%22%3A%20%22Second%20Baker%22%2C%20%22website%22%3A%20%22http%3A%2F%2Fbaker.com%2F%22%20%7D%0A%20%20%20%20%5D%2C%0A%20%20%20%20%22contacts%22%3A%20%5B%22contact%20name%20%3Ccontact%40email.com%3E%22%5D%2C%0A%20%20%20%20%22archive%22%3A%20%7B%0A%20%20%20%20%20%20%20%20%22url%22%3A%20%22http%3A%2F%2Fexample.com%2Fsolver.tar.gz%22%2C%0A%20%20%20%20%20%20%20%20%22h%22%3A%20%7B%20%22sha256%22%3A%20%22012345%22%20%7D%0A%20%20%20%20%7D%2C%0A%20%20%20%20%22website%22%3A%20%22http%3A%2F%2Fexample.com%2F%22%2C%0A%20%20%20%20%22system_description%22%3A%20%22http%3A%2F%2Fexample.com%2Fsystem.pdf%22%2C%0A%20%20%20%20%22command%22%3A%20%5B%22relative_cmd%22%2C%20%22default_command_line%22%5D%2C%0A%20%20%20%20%22solver_type%22%3A%20%22Standalone%22%2C%0A%20%20%20%20%22participations%22%3A%20%5B%0A%20%20%20%20%20%20%20%20%7B%20%22tracks%22%3A%20%5B%22SingleQuery%22%5D%2C%20%22divisions%22%3A%20%5B%22Equality%22%5D%20%7D%2C%0A%20%20%20%20%20%20%20%20%7B%0A%20%20%20%20%20%20%20%20%20%20%20%20%22tracks%22%3A%20%5B%22SingleQuery%22%5D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22logics%22%3A%20%22QF_.%2ALRA.%2A%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22command%22%3A%20%5B%22relative_cmd%22%2C%20%22other_option%22%5D%0A%20%20%20%20%20%20%20%20%7D%2C%0A%20%20%20%20%20%20%20%20%7B%0A%20%20%20%20%20%20%20%20%20%20%20%20%22tracks%22%3A%20%5B%22SingleQuery%22%5D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22logics%22%3A%20%5B%22LIA%22%5D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22archive%22%3A%20%7B%20%22url%22%3A%20%22http%3A%2F%2Fexample.com%2Fsolver_lia.tar.gz%22%20%7D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22command%22%3A%20%5B%22relative_cmd%22%2C%20%22--super-lia%22%5D%0A%20%20%20%20%20%20%20%20%7D%0A%20%20%20%20%5D%0A%7D%0A) - The filename should start with the name of your solver and end with `.json` - The continuous integration will check the format diff --git a/submissions/template/template.md b/submissions/template/template.md index c6133dc9..8a980d22 100644 --- a/submissions/template/template.md +++ b/submissions/template/template.md @@ -4,7 +4,7 @@ The creation of new submission is done through the creation of a new json file in this directory and the submission of a Pull Request. It could be done directly from the web-interface and starting with a template: -[create a new submission](https://github.com/SMT-COMP/smt-comp.github.io/new/new_submission/submissions?value=$value) +[create a new submission](https://github.com/SMT-COMP/smt-comp.github.io/new/master/submissions?value=$value) - The filename should start with the name of your solver and end with `.json` - The continuous integration will check the format