Skip to content

Actions: sysprog21/elfuse

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,050 workflow runs
1,050 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Implements Linux-style execve de_thread semantics and hands non-leader execs to the leader Build #56: Pull request #306 synchronize by jserv
6m 27s threaded-execve
threaded-execve
6m 27s
Implements Linux-style execve de_thread semantics and hands non-leader execs to the leader Lint #56: Pull request #306 synchronize by jserv
1m 41s threaded-execve
threaded-execve
1m 41s
Implements Linux-style execve de_thread semantics and hands non-leader execs to the leader Static analysis #56: Pull request #306 synchronize by jserv
3m 1s threaded-execve
threaded-execve
3m 1s
Implements Linux-style execve de_thread semantics and hands non-leader execs to the leader Proofs #56: Pull request #306 synchronize by jserv
6m 20s threaded-execve
threaded-execve
6m 20s
Implements Linux-style execve de_thread semantics and hands non-leader execs to the leader Build #55: Pull request #306 synchronize by jserv
14m 37s threaded-execve
threaded-execve
14m 37s
Implements Linux-style execve de_thread semantics and hands non-leader execs to the leader Proofs #55: Pull request #306 synchronize by jserv
11m 51s threaded-execve
threaded-execve
11m 51s
Implements Linux-style execve de_thread semantics and hands non-leader execs to the leader Static analysis #55: Pull request #306 synchronize by jserv
8m 58s threaded-execve
threaded-execve
8m 58s
Implements Linux-style execve de_thread semantics and hands non-leader execs to the leader Lint #55: Pull request #306 synchronize by jserv
2m 17s threaded-execve
threaded-execve
2m 17s
mmap/munmap EL1 fastpath Lint #54: Pull request #307 opened by maxliu04002
1m 42s maxliu04002:mmap-munmap-el1-fastpath
maxliu04002:mmap-munmap-el1-fastpath
1m 42s
mmap/munmap EL1 fastpath Proofs #54: Pull request #307 opened by maxliu04002
15m 17s maxliu04002:mmap-munmap-el1-fastpath
maxliu04002:mmap-munmap-el1-fastpath
15m 17s
mmap/munmap EL1 fastpath Build #54: Pull request #307 opened by maxliu04002
24s maxliu04002:mmap-munmap-el1-fastpath
maxliu04002:mmap-munmap-el1-fastpath
24s
mmap/munmap EL1 fastpath Static analysis #54: Pull request #307 opened by maxliu04002
2m 40s maxliu04002:mmap-munmap-el1-fastpath
maxliu04002:mmap-munmap-el1-fastpath
2m 40s
Implements Linux-style execve de_thread semantics and hands non-leader execs to the leader Lint #53: Pull request #306 opened by jserv
1m 37s threaded-execve
threaded-execve
1m 37s
Implements Linux-style execve de_thread semantics and hands non-leader execs to the leader Proofs #53: Pull request #306 opened by jserv
5m 45s threaded-execve
threaded-execve
5m 45s
Implements Linux-style execve de_thread semantics and hands non-leader execs to the leader Build #53: Pull request #306 opened by jserv
6m 55s threaded-execve
threaded-execve
6m 55s
Implements Linux-style execve de_thread semantics and hands non-leader execs to the leader Static analysis #53: Pull request #306 opened by jserv
2m 54s threaded-execve
threaded-execve
2m 54s
Merge pull request #305 from Xalestar/netlink-write Lint #52: Commit 4d69626 pushed by jserv
1m 13s main
main
1m 13s
Merge pull request #305 from Xalestar/netlink-write Proofs #52: Commit 4d69626 pushed by jserv
16m 29s main
main
16m 29s
Merge pull request #305 from Xalestar/netlink-write Build #52: Commit 4d69626 pushed by jserv
6m 30s main
main
6m 30s
Merge pull request #305 from Xalestar/netlink-write Static analysis #52: Commit 4d69626 pushed by jserv
3m 5s main
main
3m 5s
Dispatch write, writev, and readv on netlink fds Lint #51: Pull request #305 synchronize by Xalestar
1m 34s Xalestar:netlink-write
Xalestar:netlink-write
1m 34s
Dispatch write, writev, and readv on netlink fds Build #51: Pull request #305 synchronize by Xalestar
6m 47s Xalestar:netlink-write
Xalestar:netlink-write
6m 47s
Dispatch write, writev, and readv on netlink fds Proofs #51: Pull request #305 synchronize by Xalestar
5m 58s Xalestar:netlink-write
Xalestar:netlink-write
5m 58s
Dispatch write, writev, and readv on netlink fds Static analysis #51: Pull request #305 synchronize by Xalestar
4m 9s Xalestar:netlink-write
Xalestar:netlink-write
4m 9s
Dispatch write, writev, and readv on netlink fds Static analysis #50: Pull request #305 synchronize by Xalestar
3m 3s Xalestar:netlink-write
Xalestar:netlink-write
3m 3s