Skip to content
This repository has been archived by the owner on Aug 24, 2021. It is now read-only.

fix: do not ignore cid.options #18

Merged
merged 1 commit into from
Jun 28, 2018
Merged

fix: do not ignore cid.options #18

merged 1 commit into from
Jun 28, 2018

Conversation

richardschneider
Copy link
Contributor

No description provided.

@richardschneider
Copy link
Contributor Author

Seems that jenkins is having a bad hair day

remote file operation failed: /var/jenkins/workspace/IPLD_js-ipld-git_PR-18-SAEB3BJHR3KG3ZUYHTKI4COJDYF7QSJ2KXKGDP4LKZT43T7EQYVA at hudson.remoting.Channel@278dcdbb:JNLP4-connect connection from 207.254.26.195/207.254.26.195:62361: java.nio.file.FileSystemException: /var/jenkins/workspace/IPLD_js-ipld-git_PR-18-SAEB3BJHR3KG3ZUYHTKI4COJDYF7QSJ2KXKGDP4LKZT43T7EQYVA: No space left on device

Copy link
Member

@vmx vmx left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Code looks good. I re-ran CI, let's hope it passes now. (Travis can be ignored. I'll work on it to get it removed properly from all repos).

@richardschneider richardschneider merged commit 4641b63 into master Jun 28, 2018
@richardschneider richardschneider removed the status/in-progress In progress label Jun 28, 2018
@vmx vmx deleted the cid-options1 branch June 28, 2018 10:30
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants