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