Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Infrastructure appears not to be working #13

Open
aantron opened this issue Nov 7, 2017 · 1 comment
Open

Infrastructure appears not to be working #13

aantron opened this issue Nov 7, 2017 · 1 comment

Comments

@aantron
Copy link
Collaborator

aantron commented Nov 7, 2017

Looking at the history, there have been no commits by the bot since 27 July.

There is an Lwt release upcoming. I suppose it should work to generate the docs manually and open a PR for it.
@aantron aantron mentioned this issue Dec 19, 2017
Closed
@balat
Copy link
Member

balat commented Jan 12, 2018

Indeed. I don't think we will fix that. We should probably switch everything to travis.
Contributions welcome ;)

aantron added a commit to ocsigen/lwt that referenced this issue Jan 12, 2018
@aantron
Delete .jenkins.sh
69e1735 
It looks like there won't be a useful Jenkins build of Lwt anymore. See

  ocsigen/ocsigen.org-data-deprecated#13 (comment)

[skip ci]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@balat @aantron