Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / NoRedInk/haskell-verify-examples issues and pull requests
#37 - Junit Reporter
Pull Request -
State: open - Opened by stoeffel over 2 years ago
Labels: Hold
#36 - Parse opts
Pull Request -
State: closed - Opened by stoeffel almost 3 years ago
- 1 comment
#35 - Verify any markdown
Pull Request -
State: closed - Opened by stoeffel almost 3 years ago
- 2 comments
#34 - Dependency resolving broken in https://github.com/NoRedInk/haskell-libraries
Issue -
State: open - Opened by stoeffel almost 3 years ago
Labels: bug
#33 - Test context imports
Pull Request -
State: closed - Opened by stoeffel almost 3 years ago
#32 - Generated documentation
Pull Request -
State: closed - Opened by micahhahn almost 3 years ago
- 2 comments
#31 - Use temporary package to cleanup temp files
Pull Request -
State: closed - Opened by micahhahn almost 3 years ago
#30 - Cleanup temp files created for context blocks
Issue -
State: closed - Opened by micahhahn almost 3 years ago
#29 - WIP: Attempt appending context block directly after module
Pull Request -
State: closed - Opened by micahhahn almost 3 years ago
- 1 comment
#28 - Add package-id to interpreter arguments
Pull Request -
State: open - Opened by stoeffel almost 3 years ago
Labels: Hold
#27 - Experiment: Help todo
Pull Request -
State: closed - Opened by stoeffel about 3 years ago
- 4 comments
#26 - Better devX
Pull Request -
State: closed - Opened by stoeffel about 3 years ago
- 1 comment
#25 - Rename to verify
Pull Request -
State: closed - Opened by stoeffel about 3 years ago
#24 - Group comments
Pull Request -
State: closed - Opened by stoeffel about 3 years ago
- 1 comment
#23 - Nicer exposed api/cleanup
Pull Request -
State: closed - Opened by stoeffel about 3 years ago
#22 - Support CPP preprocessor commands using cpphs
Pull Request -
State: closed - Opened by micahhahn about 3 years ago
- 1 comment
#21 - improve test performance of integration test
Issue -
State: closed - Opened by stoeffel about 3 years ago
Labels: ci
#20 - CLI idea: explorer
Issue -
State: open - Opened by stoeffel about 3 years ago
Labels: cli, ideas
#19 - Add caching to gh actions
Issue -
State: closed - Opened by stoeffel about 3 years ago
- 1 comment
Labels: ci
#18 - Context using functions from verified module
Issue -
State: closed - Opened by stoeffel about 3 years ago
- 13 comments
Labels: bug
#17 - Using Tasks for error handling
Pull Request -
State: closed - Opened by stoeffel about 3 years ago
#16 - Handle "no example" codeblocks
Issue -
State: open - Opened by stoeffel about 3 years ago
#15 - Performance
Issue -
State: open - Opened by stoeffel about 3 years ago
#14 - Context blocks
Pull Request -
State: closed - Opened by stoeffel about 3 years ago
- 6 comments
#13 - Support CPP Preprocessor
Issue -
State: closed - Opened by micahhahn about 3 years ago
- 2 comments
#12 - Start implementing stdout reporter
Pull Request -
State: closed - Opened by stoeffel about 3 years ago
#11 - human reporter
Issue -
State: closed - Opened by stoeffel about 3 years ago
#10 - json repoter
Issue -
State: open - Opened by stoeffel about 3 years ago
#9 - junit reporter
Issue -
State: open - Opened by stoeffel about 3 years ago
#8 - allow helper functions in examples
Issue -
State: closed - Opened by stoeffel about 3 years ago
#7 - allow extra imports in examples
Issue -
State: open - Opened by stoeffel about 3 years ago
#6 - retire paper and move things into issues
Issue -
State: closed - Opened by stoeffel about 3 years ago
- 1 comment
#5 - Various ideas for a cli
Issue -
State: open - Opened by stoeffel about 3 years ago
#4 - add ci
Issue -
State: open - Opened by stoeffel about 3 years ago
- 2 comments
#3 - No implict cradle in tests
Pull Request -
State: closed - Opened by micahhahn about 3 years ago
#2 - Get package db
Pull Request -
State: closed - Opened by stoeffel about 3 years ago
- 3 comments
#1 - Extract ModuleInfo type
Pull Request -
State: closed - Opened by stoeffel about 3 years ago