Merge branch 'feature/random' into develop
This commit is contained in:
commit
a5f279174a
7
.github/workflows/main.yaml
vendored
7
.github/workflows/main.yaml
vendored
@ -166,6 +166,13 @@ jobs:
|
|||||||
fi
|
fi
|
||||||
sudo apt-get update
|
sudo apt-get update
|
||||||
sudo apt-get install ninja-build libcurl4-openssl-dev libfuse-dev ccache ${{matrix.compiler.apt_package}}
|
sudo apt-get install ninja-build libcurl4-openssl-dev libfuse-dev ccache ${{matrix.compiler.apt_package}}
|
||||||
|
- name: Speed up random generator
|
||||||
|
if: ${{ runner.os == 'Linux' }}
|
||||||
|
run: |
|
||||||
|
set -v
|
||||||
|
# Use /dev/urandom when /dev/random is accessed to use less entropy
|
||||||
|
sudo cp -a /dev/urandom /dev/random
|
||||||
|
shell: bash
|
||||||
- name: Install local dependencies
|
- name: Install local dependencies
|
||||||
if: ${{ matrix.install_dependencies_manually }}
|
if: ${{ matrix.install_dependencies_manually }}
|
||||||
uses: ./.github/workflows/actions/install_local_dependencies
|
uses: ./.github/workflows/actions/install_local_dependencies
|
||||||
|
Loading…
x
Reference in New Issue
Block a user