File tree 2 files changed +8
-4
lines changed
2 files changed +8
-4
lines changed Original file line number Diff line number Diff line change 17
17
- name : Check out website
18
18
uses : actions/checkout@v4
19
19
with :
20
- path : website-draft
21
20
fetch-depth : 0
22
21
- name : Check out submissions
23
22
uses : actions/checkout@master
29
28
run : |
30
29
sudo apt-get install tree
31
30
tree -d .
32
- - name : Change into right directory
33
- run : cd website-draft
34
31
- name : Configure Git Credentials
35
32
run : |
36
33
git config user.name github-actions[bot]
57
54
run : |
58
55
tree -d ../../
59
56
- name : Building leaderboard
60
- run : python leaderboard/create_leaderboard.py --input ../ submissions --output docs/leaderboard_table.md
57
+ run : python leaderboard/create_leaderboard.py --input submissions --output docs/leaderboard_table.md
61
58
- name : Build Documentation
62
59
if : github.ref != 'refs/heads/main'
63
60
run : mkdocs build
Original file line number Diff line number Diff line change 3
3
## Building it
4
4
5
5
``` bash
6
+ pip install -r requirements.txt
6
7
8
+ # Check out submissions and turn them into table
9
+ git clone https://github.com/scicode-bench/submissions.git ../submissions
10
+ ./leaderboard/create_leaderboard.py --input ../submissions --output docs/leaderboard_table.md
11
+
12
+ # Preview the website
13
+ mkdocs serve
7
14
```
You can’t perform that action at this time.
0 commit comments