Ecosyste.ms: Issues

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

GitHub / anderssorby/sdl.lean issues and pull requests

#7 - simplify

Pull Request - State: open - Opened by drcicero 8 months ago

#6 - Use Lean v4.4.0

Pull Request - State: closed - Opened by Anderssorby 11 months ago

#5 - Update README with an instruction

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

#4 - Update README with an instruction

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

#3 - fixing the crash when running examples

Pull Request - State: closed - Opened by AntanasKal over 1 year ago - 3 comments

#2 - Set up lake build

Issue - State: closed - Opened by Anderssorby almost 2 years ago - 1 comment

#1 - Acs/events

Pull Request - State: closed - Opened by Anderssorby almost 3 years ago