Skip to content

oasis 0.4.6 #6351

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
Merged
merged 1 commit into from
Apr 29, 2016
Merged

oasis 0.4.6 #6351

merged 1 commit into from
Apr 29, 2016

Conversation

Image for: Conversation
Copy link
Member

No description provided.

Copy link
Contributor

camelus commented Apr 29, 2016

✅ All lint checks passed 1e2d156
  • These packages passed lint tests: oasis.0.4.6
Copy link
Member

avsm commented Apr 29, 2016

thanks!
dsheets merged commit 7ddeb4a into ocaml:master Apr 29, 2016
Copy link
Member Author

@avsm @dsheets first time I submit something to OPAM. What is the ETA of the update? The PR was merged 3h ago and I cannot (yet) install OASIS 0.4.6.

I am fine waiting, just want to know when the update should happen.
Copy link
Member

dsheets commented Apr 29, 2016

For users who have the repository checked out and have pointed an opam remote at it, the update has already happened. For users who use https://opam.ocaml.org/, there appears to be a delay but there shouldn't be one. I think there may be something wrong with the repo update scripts, @AltGr ?
Copy link
Member

samoht commented Apr 29, 2016

I think there were an issue in the cron job, I've tweaked it a bit, should be updating the website every hour now.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
5 participants