diff options
| author | Kenneth Heafield <kpu@users.noreply.github.com> | 2022-02-09 17:56:05 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-02-09 17:56:05 +0300 |
| commit | fc3a614351ce6e667197307d97f45db5265c96af (patch) | |
| tree | faf4a2d6208b60899e3db1b832d8fbd3f3ce7a31 /.github/workflows/ubuntu-no-cpuid-environment.yml | |
| parent | 24ff82711ed0d7ade46a88e1ab14fe281ede42e3 (diff) | |
Option to turn off environment variable reading (#98)
Diffstat (limited to '.github/workflows/ubuntu-no-cpuid-environment.yml')
| -rw-r--r-- | .github/workflows/ubuntu-no-cpuid-environment.yml | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/.github/workflows/ubuntu-no-cpuid-environment.yml b/.github/workflows/ubuntu-no-cpuid-environment.yml new file mode 100644 index 0000000..dc1862f --- /dev/null +++ b/.github/workflows/ubuntu-no-cpuid-environment.yml @@ -0,0 +1,25 @@ +name: Ubuntu No CPUID Environment Variable + +on: + push: + branches: [master, static] + pull_request: + branches: [master, static] + +jobs: + build: + runs-on: ubuntu-latest + + steps: + - uses: actions/checkout@v2 + - name: cmake + run: | + cmake -E make_directory build + cd build + cmake -DINTGEMM_CPUID_ENVIRONMENT=OFF .. + - name: Compile + working-directory: build + run: cmake --build . -j2 + - name: Test + working-directory: build + run: ctest -j2 |