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

[build] [js] Coq WaterProof build for coq-lsp.js #888

Open
ejgallego opened this issue Jan 15, 2025 · 0 comments
Open

[build] [js] Coq WaterProof build for coq-lsp.js #888

ejgallego opened this issue Jan 15, 2025 · 0 comments
Labels
kind: enhancement New feature or request part: build part: CI part: packaging platform: browser
Milestone
0.2.3

Comments

@ejgallego
Copy link
Owner

ejgallego commented Jan 15, 2025 •
edited
Loading

We'd like to add the coq-waterproof plugin to the Javascript build CI job.

This should be pretty easy, basically an extra git checkout and make.

Code is at https://github.com/impermeable/coq-waterproof , both the plugin in src and theories.

cc: @jim-portegies @pimotte
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: build part: CI part: packaging platform: browser
Projects
None yet
Milestone
0.2.3
Development

No branches or pull requests
1 participant
@ejgallego