Skip to content

Commit

Permalink
MRG, ENH: Add CircleCI redirection (#6679)
Browse files Browse the repository at this point in the history
* ENH: Add CirclecI redirection

* FIX: Speed up and name

* ENH: Faster

* FIX: Naming
  • Loading branch information
larsoner authored and agramfort committed Aug 20, 2019
1 parent 694f4f2 commit 0123589
Show file tree
Hide file tree
Showing 2 changed files with 10 additions and 0 deletions.
1 change: 1 addition & 0 deletions .circleci/artifact_path
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
0/dev/index.html
9 changes: 9 additions & 0 deletions .circleci/config.yml
Original file line number Diff line number Diff line change
Expand Up @@ -230,6 +230,15 @@ jobs:
command: |
python -c "import mne; level = mne.get_config('MNE_LOGGING_LEVEL'); assert level.lower() == 'info', repr(level)"
# Reduce upload time of artifacts we will (almost) never look at
- run:
name: Reduce artifact upload time
command: |
if grep -q html_dev build.txt; then
tar czf doc/_build/html/_downloads.tgz doc/_build/html/_downloads
rm -Rf doc/_build/html/_downloads
fi
# Save the JUnit file
- store_test_results:
path: doc/_build/test-results
Expand Down

0 comments on commit 0123589

Please sign in to comment.