diff options
author | John MacFarlane <jgm@berkeley.edu> | 2021-05-10 08:45:33 -0600 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2021-05-10 08:45:43 -0600 |
commit | 83c83d4589ccd918cc0cbb11fb497367c66df1d3 (patch) | |
tree | 2a330178c8d3aaeee26058bdfc51c2ebfdb39596 /.github | |
parent | 2a2e08d82335d45c982f4acf14b62130365f2c8e (diff) | |
download | pandoc-83c83d4589ccd918cc0cbb11fb497367c66df1d3.tar.gz |
CI: install numa library.
See failure at https://github.com/jgm/pandoc/runs/2541449722
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/ci.yml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index bb5c743fa..d8083f44e 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -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 |