Commit 78f666a git
committed
1 parent a4adb28 commit 78f666a Copy full SHA for 78f666a
File tree 1 file changed +3
-3
lines changed
1 file changed +3
-3
lines changed Original file line number Diff line number Diff line change 81
81
ONTOLOGYPORTAL_GIT : ${{ github.workspace }}
82
82
working-directory : ./sigmakee
83
83
run : |
84
- sed -i "s|/home/apease /.sigmakee|$SIGMA_HOME|g" $SIGMA_SRC/test/unit/java/resources/config_topOnly.xml
85
- sed -i "s|/home/apease /workspace/sumo|$ONTOLOGYPORTAL_GIT/sumo|g" $SIGMA_SRC/test/unit/java/resources/config_topOnly.xml
86
- sed -i "s|/home/apease /E/bin/e_ltb_runner|/usr/local/bin/e_ltb_runner|g" $SIGMA_SRC/test/unit/java/resources/config_topOnly.xml
84
+ sed -i "s|/home/theuser /.sigmakee|$SIGMA_HOME|g" $SIGMA_SRC/test/unit/java/resources/config_topOnly.xml
85
+ sed -i "s|/home/theuser /workspace/sumo|$ONTOLOGYPORTAL_GIT/sumo|g" $SIGMA_SRC/test/unit/java/resources/config_topOnly.xml
86
+ sed -i "s|/home/theuser /E/bin/e_ltb_runner|/usr/local/bin/e_ltb_runner|g" $SIGMA_SRC/test/unit/java/resources/config_topOnly.xml
87
87
sed -i "s|/home/theuser/Programs/vampire/build/vampire|/usr/local/bin/vampire|g" $SIGMA_SRC/test/unit/java/resources/config_topOnly.xml
88
88
89
89
- name : Run unit tests
You can’t perform that action at this time.
0 commit comments