66 pull_request :
77 branches : [ master ]
88
9+ env :
10+ # Force software rendering on CI, because
11+ # we were getting a CI error on Ubuntu 24.04 as follows:
12+ # MESA: error: ZINK: vkCreateInstance failed (VK_ERROR_INCOMPATIBLE_DRIVER))
13+ # For more information, see https://github.com/lgi-devs/lgi/pull/332
14+ LIBGL_ALWAYS_SOFTWARE : 1
15+
916jobs :
1017 build_puc :
1118 name : Test on PUC-Rio Lua
@@ -15,18 +22,19 @@ jobs:
1522 matrix :
1623 version : [5.1.5, 5.2.4, 5.3.6, 5.4.7]
1724
25+ env :
26+ LUA_VERSION : ${{ matrix.version }}
27+
1828 steps :
29+ - name : Install Lua dependencies
30+ run : sudo apt install -y libreadline-dev
1931 - name : Build PUC-Rio Lua ${{ matrix.version }}
20- env :
21- LUA_VERSION : ${{ matrix.version }}
2232 run : |
2333 wget "https://www.lua.org/ftp/lua-${LUA_VERSION}.tar.gz"
2434 tar xzvf "lua-${LUA_VERSION}.tar.gz"
2535 cd "lua-${LUA_VERSION}"
26- make linux SYSLIBS="-Wl,-E -ldl -lreadline" SYSCFLAGS="-DLUA_USE_LINUX -ULUA_COMPAT_5_2 - DLUA_USE_APICHECK" CC='gcc -g'
36+ make linux SYSLIBS="-Wl,-E -ldl -lreadline" SYSCFLAGS="-DLUA_USE_LINUX -DLUA_USE_APICHECK" CC='gcc -g'
2737 - name : Install PUC-Rio Lua ${{ matrix.version }}
28- env :
29- LUA_VERSION : ${{ matrix.version }}
3038 run : |
3139 cd "lua-${LUA_VERSION}"
3240 sudo make install
4654 xvfb-run -a sh -c 'LD_PRELOAD="${sanitizers}" make check'
4755 - name : Check that make install works
4856 env :
49- LUA_VERSION : ${{ matrix.version }}
5057 LSAN_OPTIONS : suppressions=${{ github.workspace }}/.github/lsan.supp
5158 UBSAN_OPTIONS : print_stacktrace=1:report_error_type=1:halt_on_error=1:suppressions=${{ github.workspace }}/.github/ubsan.supp
5259 run : |
0 commit comments