Ecosyste.ms: Issues

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

GitHub / seL4/rust-microkit-demo issues and pull requests

#13 - Fix component names in README.md

Pull Request - State: closed - Opened by nspin 5 months ago

#12 - Bump everything

Pull Request - State: closed - Opened by nspin 5 months ago

#11 - Improve Dockerfile and update dependencies

Pull Request - State: closed - Opened by nspin 7 months ago

#10 - docker: Don't add user or group if they already exist

Pull Request - State: closed - Opened by nspin 7 months ago

#9 - Update dependencies

Pull Request - State: closed - Opened by nspin 7 months ago

#8 - Update Microkit rev

Pull Request - State: closed - Opened by nspin about 1 year ago

#7 - Achieve REUSE compliance

Pull Request - State: closed - Opened by nspin about 1 year ago

#6 - Fix rustdoc URL

Pull Request - State: closed - Opened by nspin about 1 year ago

#5 - Update URLs

Pull Request - State: closed - Opened by nspin about 1 year ago

#4 - Draft: hamlinb/smoltcp

Pull Request - State: closed - Opened by protoben over 1 year ago - 2 comments

#3 - Error: No symbol named passive found

Issue - State: closed - Opened by podhrmic over 1 year ago - 3 comments

#2 - Initial CI support to compile the demo

Pull Request - State: open - Opened by podhrmic over 1 year ago - 8 comments

#1 - Added CI workflow, simplied build and make process

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