Skip to content

Commit

Permalink
Use master branch in the submission link.
Browse files Browse the repository at this point in the history
  • Loading branch information
@martinjonas
martinjonas committed Feb 16, 2024
1 parent b18e885 commit 0a6aed7
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion web/content/solver_submission/index.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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).

0 comments on commit 0a6aed7

Please sign in to comment.