CI: install numa library.

See failure at https://github.com/jgm/pandoc/runs/2541449722
2026-09-24 15:44:59 +08:00 · 2021-05-10 08:45:43 -06:00
parent 2a2e08d823
commit 83c83d4589
1 changed files with 4 additions and 0 deletions
@@ -76,6 +76,10 @@ jobs:
    steps:
    - uses: actions/checkout@v2

+    # needed by memory
+    - name: Install numa
+      run: sudo apt-get install libnuma-dev
+
    # need to install older cabal/ghc versions from ppa repository

    - name: Install recent cabal/ghc