Ecosyste.ms: Issues

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

GitHub / bsilverthorn/vernac issues and pull requests

#9 - basic module system + pipeline refactor

Pull Request - State: closed - Opened by bsilverthorn over 1 year ago

#8 - fix `-v` flag to do something again

Pull Request - State: closed - Opened by bsilverthorn over 1 year ago

#7 - add `pytest` workflow to GitHub Actions

Pull Request - State: closed - Opened by bsilverthorn over 1 year ago

#6 - self-debug using tests suggested in source code

Pull Request - State: closed - Opened by bsilverthorn over 1 year ago

#5 - refactor compilation into stages

Pull Request - State: closed - Opened by bsilverthorn over 1 year ago

#4 - examples/reliable: add simple HN scraping script

Pull Request - State: closed - Opened by bsilverthorn over 1 year ago

#3 - proof-of-concept test-debug loop

Pull Request - State: closed - Opened by bsilverthorn over 1 year ago

#2 - experimental publish-to-pypi workflow

Pull Request - State: closed - Opened by bsilverthorn over 1 year ago

#1 - add simple GitHub Action that compiles an example

Pull Request - State: closed - Opened by bsilverthorn over 1 year ago