Add crl sync and crl file caching

2018-08-30 14:35:26 -04:00
parent 3fc8f6e970
commit dd578f6f3f
1 changed files with 8 additions and 0 deletions
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -22,4 +22,12 @@ jobs:
          command: |
            git submodule update --init --recursive
      - run: ./script/setup
      - restore_cache:
          keys:
            - disa-crls
      - run: ./script/sync-crls
      - save_cache:
          paths:
            - ./crl
          key: disa-crls
      - run: ./script/cibuild