Skip to content

Commit 98b0c57

Browse files
del previous
1 parent d1903af commit 98b0c57

1 file changed

Lines changed: 2 additions & 0 deletions

File tree

.github/workflows/blank.yml

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -32,6 +32,8 @@ jobs:
3232
# Copy problemtype to gid and copy exec
3333
- name: Move kratos where it should be
3434
run: |
35+
rm -rf /gid/problemtypes/
36+
mkdir /gid/problemtypes
3537
mv ./kratos.gid /gid/problemtypes/
3638
mkdir /gid/problemtypes/kratos.gid/exec/Kratos
3739
mv /tmp/KratosRelease/* /gid/problemtypes/kratos.gid/exec/Kratos

0 commit comments

Comments
 (0)