Commit d556c10
authored
Fix push results (#36)
* Clean up and simplify scripts
- Remove unused functions and debug flags in `run-benchmarks.sh`.
- Adjust `cp` command and comment out PR creation in `push-results.sh`.
* Enhance push-results.sh with git config
* Enhance push-results.sh with git config1 parent 8373f99 commit d556c10
2 files changed
Lines changed: 3 additions & 11 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
57 | 57 | | |
58 | 58 | | |
59 | 59 | | |
60 | | - | |
61 | | - | |
62 | | - | |
| 60 | + | |
63 | 61 | | |
64 | 62 | | |
65 | 63 | | |
| |||
70 | 68 | | |
71 | 69 | | |
72 | 70 | | |
| 71 | + | |
| 72 | + | |
73 | 73 | | |
74 | 74 | | |
75 | 75 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
142 | 142 | | |
143 | 143 | | |
144 | 144 | | |
145 | | - | |
146 | | - | |
147 | | - | |
148 | | - | |
149 | | - | |
150 | | - | |
151 | 145 | | |
152 | 146 | | |
153 | 147 | | |
| |||
177 | 171 | | |
178 | 172 | | |
179 | 173 | | |
180 | | - | |
181 | | - | |
182 | 174 | | |
183 | 175 | | |
184 | 176 | | |
| |||
0 commit comments