Ecosyste.ms: Issues

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

GitHub / mandarancio/proofkit issues and pull requests

#8 - Correct a bug about variable substitution

Pull Request - State: closed - Opened by damdamo about 3 years ago

#7 - Add static tests

Pull Request - State: closed - Opened by damdamo about 3 years ago

#6 - Improvements

Pull Request - State: closed - Opened by damdamo about 3 years ago

#5 - Add linux main for test compatibility with linux

Pull Request - State: closed - Opened by damdamo about 4 years ago

#4 - Update to get a library with ProofKit

Pull Request - State: closed - Opened by damdamo about 4 years ago

#3 - Update version

Pull Request - State: closed - Opened by damdamo about 4 years ago

#2 - Remove old folder

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

#1 - Correction for swift 4.2

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