| commit | 1955cbecc98ee88ba8a62df1d8c77a09ed5d2c75 | [log] [tgz] |
|---|---|---|
| author | ebraminio <ebrahim@gnu.org> | Thu Nov 02 04:55:46 2017 -0700 |
| committer | GitHub <noreply@github.com> | Thu Nov 02 04:55:46 2017 -0700 |
| tree | 2b6490232512cee8ebd6b3c5e6ae843fd13a5922 | |
| parent | 4b3278ef8dc71ad4f744d763068d9a2e02d3d75d [diff] |
Add a dummy CircleCI config to gh-pages branch (#602)
diff --git a/docs/circle.yml b/docs/circle.yml new file mode 100644 index 0000000..e3ffd29 --- /dev/null +++ b/docs/circle.yml
@@ -0,0 +1,3 @@ +test: + override: + - echo "test"