Skip to content

Commit ca1390c

Browse files
Martin Jonášmartinjonas
Martin Jonáš
authored and
martinjonas
committed
fix: Add 2025 previous edition.
1 parent 7e7745d commit ca1390c

1 file changed

Lines changed: 2 additions & 0 deletions

File tree

‎web/data/competitions.yml‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,5 @@
1+
- name: SMT-COMP 2025
2+
link: /2025/
13
- name: SMT-COMP 2024
24
link: /2024/
35
- name: SMT-COMP 2023

0 commit comments

Comments
 (0)