Skip to content

Actions: sysprog21/elfuse

Actions

Proofs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
verify.yml
466 workflow runs
466 workflow runs

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
Introduce OCI image unpack feature Proofs #466: Pull request #381 synchronize by henrybear327
15s henrybear327:oci/unpack
henrybear327:oci/unpack
15s
Introduce OCI image unpack feature Proofs #465: Pull request #381 synchronize by henrybear327
18s henrybear327:oci/unpack
henrybear327:oci/unpack
18s
Merge pull request #385 from henrybear327/commit-msg-url Proofs #464: Commit b05f639 pushed by jserv
32m 32s main
main
32m 32s
Improve QEMU execution Proofs #463: Pull request #382 synchronize by henrybear327
13s henrybear327:conf/qemu-runner
henrybear327:conf/qemu-runner
13s
Improve QEMU execution Proofs #462: Pull request #382 synchronize by henrybear327
18s henrybear327:conf/qemu-runner
henrybear327:conf/qemu-runner
18s
Improve QEMU execution Proofs #461: Pull request #382 synchronize by henrybear327
15s henrybear327:conf/qemu-runner
henrybear327:conf/qemu-runner
15s
Relax commit message check for URLs Proofs #460: Pull request #385 synchronize by henrybear327
13s henrybear327:commit-msg-url
henrybear327:commit-msg-url
13s
Wake select and epoll_wait on a queued signal Proofs #459: Pull request #386 synchronize by xalestar
23s xalestar:fix-select-epoll-signal-wake
xalestar:fix-select-epoll-signal-wake
23s
Wake select and epoll_wait on a queued signal Proofs #458: Pull request #386 synchronize by xalestar
52s xalestar:fix-select-epoll-signal-wake
xalestar:fix-select-epoll-signal-wake
52s
Wake select and epoll_wait on a queued signal Proofs #457: Pull request #386 opened by xalestar
15s xalestar:fix-select-epoll-signal-wake
xalestar:fix-select-epoll-signal-wake
15s
Improve QEMU execution Proofs #456: Pull request #382 synchronize by henrybear327
17s henrybear327:conf/qemu-runner
henrybear327:conf/qemu-runner
17s
Relax commit message check for URLs Proofs #455: Pull request #385 opened by henrybear327
17s henrybear327:commit-msg-url
henrybear327:commit-msg-url
17s
Restore the guest X8 when the shim drops its frame Proofs #454: Pull request #383 synchronize by jotpalch
6m 45s jotpalch:fix-rt-sigreturn-svc-marker
jotpalch:fix-rt-sigreturn-svc-marker
6m 45s
Restore the guest X8 when the shim drops its frame Proofs #453: Pull request #383 synchronize by jotpalch
5m 51s jotpalch:fix-rt-sigreturn-svc-marker
jotpalch:fix-rt-sigreturn-svc-marker
5m 51s
Merge pull request #375 from jotpalch/pr-d-usb-async Proofs #452: Commit 0a63368 pushed by jserv
1h 26m 37s main
main
1h 26m 37s
Restore the guest X8 when the shim drops its frame Proofs #451: Pull request #383 opened by jotpalch
1h 19m 5s jotpalch:fix-rt-sigreturn-svc-marker
jotpalch:fix-rt-sigreturn-svc-marker
1h 19m 5s
mmap/munmap EL1 fastpath Proofs #450: Pull request #372 synchronize by Max042004
3h 48m 45s Max042004:mmap-munmap-el1-fastpath
Max042004:mmap-munmap-el1-fastpath
3h 48m 45s
Run usbdevfs URBs asynchronously over IOKit Proofs #449: Pull request #375 synchronize by jotpalch
1h 10m 3s jotpalch:pr-d-usb-async
jotpalch:pr-d-usb-async
1h 10m 3s
Improve QEMU execution Proofs #448: Pull request #382 opened by henrybear327
16s henrybear327:conf/qemu-runner
henrybear327:conf/qemu-runner
16s
Introduce OCI image unpack feature Proofs #447: Pull request #381 opened by henrybear327
17s henrybear327:oci/unpack
henrybear327:oci/unpack
17s
Run usbdevfs URBs asynchronously over IOKit Proofs #446: Pull request #375 synchronize by jotpalch
25m 46s jotpalch:pr-d-usb-async
jotpalch:pr-d-usb-async
25m 46s
Merge pull request #352 from alanhc/test-pty-hangup-alarm Proofs #445: Commit afdcfce pushed by jserv
26m 36s main
main
26m 36s
Bound the pty hangup reads with an alarm Proofs #444: Pull request #352 synchronize by alanhc
13s alanhc:test-pty-hangup-alarm
alanhc:test-pty-hangup-alarm
13s
Merge pull request #380 from xalestar/wait-claim-process-signal Proofs #443: Commit e03b72e pushed by jserv
25m 53s main
main
25m 53s
Report EINTR from one waiter per signal Proofs #442: Pull request #380 synchronize by xalestar
7m 54s xalestar:wait-claim-process-signal
xalestar:wait-claim-process-signal
7m 54s