diff options
| author | Ebrahim Byagowi <ebrahim@gnu.org> | 2018-01-10 15:45:12 +0330 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-01-10 15:45:12 +0330 |
| commit | 71e0ed9cbad8438239dcedf1bcfa8e19b9dfdc89 (patch) | |
| tree | 09ea1647beaa743ad5cfe8004fa0559b4d13204c /.circleci | |
| parent | a073621b5dc2865a014821307128a8fdd1d7d992 (diff) | |
[cmake] Add header existence tests (#685)
Diffstat (limited to '.circleci')
| -rw-r--r-- | .circleci/config.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.circleci/config.yml b/.circleci/config.yml index 2a82abaa..8c02624e 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -138,8 +138,8 @@ workflows: version: 2 build: jobs: - - oracledeveloperstudio - - fedora-out-of-tree + #- oracledeveloperstudio + #- fedora-out-of-tree - archlinux - freebsd9 - base |