lsf37
Follow
Pinned
896 contributions in the last year
Less
More
Contribution activity
July 2021
Created a pull request in seL4/ci-actions that received 7 comments
Deploy C parser images on changes to l4v
The l4v repository has a corresponding action that sends a repository_dispatch event when the C parser changes. See also seL4/l4v#304
+5
−31
•
7
comments
Opened 20 other pull requests in 12 repositories
seL4/ci-actions
2
open
3
merged
seL4/seL4
1
closed
2
merged
seL4/camkes-tool
1
open
1
closed
seL4/sel4webserver
1
open
1
merged
seL4/l4v
1
merged
seL4/seL4_tools
1
merged
seL4/util_libs
1
merged
seL4/sel4test-manifest
1
merged
seL4/sel4runtime
1
open
seL4/seL4_projects_libs
1
merged
seL4/seL4_libs
1
merged
lsf37/seL4
1
closed
Reviewed 20 pull requests in 10 repositories
seL4/l4v 5 pull requests
seL4/seL4 4 pull requests
seL4/ci-actions 2 pull requests
seL4/docs 2 pull requests
seL4/seL4-CAmkES-L4v-dockerfiles 2 pull requests
seL4/website 1 pull request
seL4/sel4webserver 1 pull request
seL4/seL4_tools 1 pull request
seL4/camkes-vm 1 pull request
seL4/util_libs 1 pull request
Created an issue in seL4/ci-actions that received 1 comment
Show manifest status
Show: manifest URL and hash each repo, path and hash mark any updated repos, with hash To make sure that the logs show what exactly was tested.
1
comment