Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / maelvls/vscode-dune issues and pull requests

#7 - Add new actions / fields to stanza adding later in the language

Issue - State: open - Opened by jfthuong over 4 years ago - 1 comment

#6 - Mark "dune.inc" as dune file

Issue - State: open - Opened by jfthuong over 4 years ago

#5 - Use `;` as line comments

Pull Request - State: closed - Opened by anmonteiro about 6 years ago - 2 comments

#4 - Comment syntax is wrong?

Issue - State: closed - Opened by anmonteiro about 6 years ago - 2 comments

#3 - RawGit is shutting down, replace it with jsDelivr

Pull Request - State: closed - Opened by jsdelivrbot about 6 years ago

#2 - fix the default bin to 'dune' instead of 'jbuilder'

Pull Request - State: closed - Opened by maelvls over 6 years ago

#1 - Consider making dune the default executable name or fall back to it

Issue - State: closed - Opened by zploskey over 6 years ago - 6 comments