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

[ci] Create Docker image #910

Open
ejgallego opened this issue Feb 7, 2025 · 0 comments
Open

[ci] Create Docker image #910

ejgallego opened this issue Feb 7, 2025 · 0 comments
Labels
kind: enhancement New feature or request part: CI
Milestone
0.2.3

Comments

@ejgallego
Copy link
Owner

We want the CI to create a Docker image for coq-lsp build, this is very useful in a varieties of scenarios.
@ejgallego ejgallego added kind: enhancement New feature or request part: CI labels Feb 7, 2025
@ejgallego ejgallego added this to the 0.2.3 milestone Feb 7, 2025
ejgallego added a commit that referenced this issue Feb 7, 2025
@ejgallego
[doc] [petanque] Document how to run in Google Colab
c5f1aed 
cc: #910
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
kind: enhancement New feature or request part: CI
Projects
None yet
Milestone
0.2.3
Development

No branches or pull requests
1 participant
@ejgallego