Skip to content

Commit 4023d39

Browse files
committed
Echo PATH
1 parent 32e952d commit 4023d39

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

.github/workflows/build.yml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -77,6 +77,7 @@ jobs:
7777
- name: Build the server
7878
# Try building it twice in case of flakey builds on Windows
7979
run: |
80+
echo "Path: $PATH"
8081
cabal build exe:hls -O2 $LINUX_CABAL_ARGS || cabal build exe:hls -O2 $LINUX_CABAL_ARGS -j1
8182
8283
- name: Compress server binary

0 commit comments

Comments
 (0)