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

Documentation: remove the ppa from the installation instructions on Ubuntu #5988

Merged
merged 1 commit into from
Jul 8, 2024
Merged

Documentation: remove the ppa from the installation instructions on Ubuntu #5988

merged 1 commit into from
Jul 8, 2024

Conversation

kit-ty-kate
Copy link
Member

Fixes #5987

@kit-ty-kate kit-ty-kate changed the title Documentation: remove the ppa from the installation instructions on U… Documentation: remove the ppa from the installation instructions on Ubuntu Jun 4, 2024
dra27
dra27 approved these changes Jul 8, 2024
View reviewed changes
Copy link
Member

@dra27 dra27 left a comment

Choose a reason for hiding this comment

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

LGTM, thanks!

@kit-ty-kate kit-ty-kate added this to the 2.3.0~alpha milestone Jul 8, 2024
@kit-ty-kate
Copy link
Member Author

ocaml-benchmarks failed because of a network failure:

 > [ 8/12] RUN git clone https://github.com/ocaml/opam-repository --depth 1:
0.304 Cloning into 'opam-repository'...
43.90 error: 7460 bytes of body are still expected
43.90 fetch-pack: unexpected disconnect while reading sideband packet
43.90 fatal: early EOF
43.90 fatal: index-pack failed

@kit-ty-kate kit-ty-kate merged commit eb566fa into ocaml:master Jul 8, 2024
1 of 2 checks passed
@kit-ty-kate kit-ty-kate deleted the doc-install-no-ppa branch July 8, 2024 14:05
@kit-ty-kate kit-ty-kate mentioned this pull request Jul 9, 2024
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@dra27 dra27 dra27 approved these changes

Assignees
No one assigned
Labels
AREA: DOCUMENTATION
Projects
None yet
Milestone
2.3.0~alpha1
Development

Successfully merging this pull request may close these issues.

Invalid Ubuntu repository
2 participants
@kit-ty-kate @dra27