update circle to call bin script

2018-05-12 22:56:29 +02:00
parent d7599679b3
commit 512544dfb8
1 changed files with 1 additions and 0 deletions
@@ -31,6 +31,7 @@ jobs:
  generate_docs:
    <<: *defaults
    steps:
+      - checkout
      - run:
          name: Generate nice markdown document for atomics
          command: |