Ecosyste.ms: Issues

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

GitHub / sel4/sel4bench-manifest issues and pull requests

#17 - Bump actions/download-artifact from 3 to 4.1.7 in /.github/workflows

Pull Request - State: open - Opened by dependabot[bot] 2 months ago
Labels: dependencies

#16 - Benchmark is not working for x86_64 with gcc 11

Issue - State: closed - Opened by dinukaamarasinghe817 5 months ago - 4 comments

#15 - github PR tests are testing wrong manifest

Issue - State: open - Opened by lsf37 over 1 year ago

#14 - Revert "update OpenSBI to v0.9"

Pull Request - State: closed - Opened by kent-mcleod over 1 year ago - 6 comments
Labels: hw-test

#13 - Revert to OpenSBI v0.8 to test if sel4bench still works

Pull Request - State: closed - Opened by Ivan-Velickovic over 1 year ago - 3 comments
Labels: hw-test

#12 - update OpenSBI to v1.2

Pull Request - State: open - Opened by axel-h over 1 year ago - 5 comments
Labels: hw-test

#11 - github: run sel4bench build on pull request

Pull Request - State: closed - Opened by lsf37 almost 2 years ago - 1 comment

#10 - CI test should execute at least a build

Issue - State: closed - Opened by axel-h about 3 years ago - 4 comments
Labels: enhancement

#9 - update OpenSBI to v0.9

Pull Request - State: closed - Opened by axel-h about 3 years ago - 1 comment

#8 - use tag instead of raw commit ID for OpenSBI

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

#7 - delete obsolete branches

Issue - State: closed - Opened by axel-h about 3 years ago - 1 comment

#6 - fix link to LICENSES directory

Pull Request - State: closed - Opened by lsf37 over 3 years ago

#5 - Update nanopb version to 0.4.3

Pull Request - State: closed - Opened by axel-h over 3 years ago - 2 comments

#4 - SPDX and foundation setup

Pull Request - State: closed - Opened by lsf37 almost 4 years ago - 1 comment

#3 - Can't get valid benchmark data about IPC

Issue - State: closed - Opened by NielsenPlum almost 5 years ago - 2 comments

#2 - Updated older version manifests to use version tags

Pull Request - State: closed - Opened by RichardHabeeb about 7 years ago - 1 comment

#1 - seL4 Kernel

Issue - State: closed - Opened by chrisguikema almost 8 years ago - 1 comment