aboutsummaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorAleksey Kladov <[email protected]>2020-02-19 21:22:10 +0000
committerAleksey Kladov <[email protected]>2020-02-19 21:24:29 +0000
commit5e1d0e4ae4d9596b1ff8a8c10ac8898268e00b3a (patch)
tree179a76faa53e252640de630653e13d9fddc479ce /.github
parente00b9ca3c94d8f88cc5aede562365025a59af06b (diff)
Check that we use no C deps on CI
C deps are not a problem for a typical build, but cause issues in more esoteric scenarios, like cross-compiling. Let's check that we don't have them. Setting `CC` to some dummy value should do the trick, as custom build scripts typically respect this variable.
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/ci.yaml1
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index 42b1c6921..8ab47106d 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -17,6 +17,7 @@ jobs:
17 os: [ubuntu-latest, windows-latest, macos-latest] 17 os: [ubuntu-latest, windows-latest, macos-latest]
18 env: 18 env:
19 RUSTFLAGS: -D warnings 19 RUSTFLAGS: -D warnings
20 CC: deny_c
20 CARGO_INCREMENTAL: 0 21 CARGO_INCREMENTAL: 0
21 RUN_SLOW_TESTS: 1 22 RUN_SLOW_TESTS: 1
22 RUSTUP_MAX_RETRIES: 10 23 RUSTUP_MAX_RETRIES: 10