Skip to content

Commit 840f080

Browse files
committed
update info output test for godel executable
1 parent 5c5ff4d commit 840f080

File tree

1 file changed

+14
-10
lines changed

1 file changed

+14
-10
lines changed

.github/workflows/godel_build.yml

+14-10
Original file line numberDiff line numberDiff line change
@@ -26,11 +26,13 @@ jobs:
2626
mkdir build
2727
cd build
2828
cmake ..
29-
make -j4
30-
./godel --version
31-
./godel -h --color-off
32-
- name: Check
33-
run: pwd
29+
make -j6
30+
- name: Test
31+
run: |
32+
cd godel-script
33+
./build/godel
34+
./build/godel --version
35+
./build/godel -h --color-off
3436
3537
linux-x86_64-build:
3638
runs-on: ubuntu-latest
@@ -51,8 +53,10 @@ jobs:
5153
mkdir build
5254
cd build
5355
cmake ..
54-
make -j4
55-
./godel --version
56-
./godel -h --color-off
57-
- name: Check
58-
run: pwd
56+
make -j6
57+
- name: Test
58+
run: |
59+
cd godel-script
60+
./build/godel
61+
./build/godel --version
62+
./build/godel -h --color-off

0 commit comments

Comments
 (0)