Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / coq-community/coqoban issues and pull requests
#7 - "Cannot find a physical path bound to logical path matching suffix <> and prefix Coqoban"
Issue -
State: open - Opened by InfiniteEchoes over 1 year ago
#6 - refactor to standard file structure, improve documentation
Pull Request -
State: closed - Opened by palmskog over 1 year ago
- 1 comment
#5 - Documentation fixes and CI update
Pull Request -
State: closed - Opened by palmskog about 3 years ago
- 1 comment
#4 - Switch to docker-coq-action
Pull Request -
State: closed - Opened by erikmd about 4 years ago
#3 - Regenerate files from latest templates.
Pull Request -
State: closed - Opened by Zimmi48 over 4 years ago
- 2 comments
#2 - Add CI & Update doc
Pull Request -
State: closed - Opened by erikmd over 4 years ago
- 8 comments
#1 - release for Coq 8.11 ?
Issue -
State: closed - Opened by erikmd over 4 years ago
- 5 comments