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.

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

Remove outdated docker section from INSTALL.md #3221

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

SECtim
Copy link
Contributor

@SECtim SECtim commented Mar 11, 2024

The fstarlang docker images have not been updated for years and thus should not be referenced in the installation instructions.

The corresponding wiki page should probably also be updated with a corresponding note at the top (or removed altogether, but I am unsure of the F* team's wiki policy about outdated content).

The fstarlang docker images have not been updated for years and thus should not be referenced in the installation instructions.
@SECtim
Copy link
Contributor Author

SECtim commented Mar 11, 2024

See also #2788 and #3183.

@nikswamy
Copy link
Collaborator

@tahina-pro : I'm guessing that you would know the most about this? What's up with our docker images? Do we plan to maintani them or should we just remove them from the docs as suggested here?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants