8000 RefMan · Workflow runs · seL4/seL4 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: seL4/seL4

Actions

RefMan

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
manual.yml
921 workflow runs
921 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Minimal CHERI support RefMan #5660: Pull request #1469 synchronize by heshamelmatary
June 13, 2025 11:17 1m 20s CTSRD-CHERI:std-cheri-riscv
CTSRD-CHERI:std-cheri-riscv
June 13, 2025 11:17 1m 20s
github: main l4v now on Isabelle2025 RefMan #5659: Commit dec87e6 pushed by Indanz
June 13, 2025 10:29 1m 27s master
master
June 13, 2025 10:29 1m 27s
github: main l4v now on Isabelle2025 RefMan #5658: Pull request #1483 opened by lsf37
June 13, 2025 05:28 1m 24s lsf37/default-isa-branch
lsf37/default-isa-branch
June 13, 2025 05:28 1m 24s
mcs: refactor doReplyTransfer and setMRs_fault RefMan #5657: Commit 2417e0f pushed by lsf37
June 13, 2025 05:01 1m 21s master
master
June 13, 2025 05:01 1m 21s
mcs: refactor doReplyTransfer and setMRs_fault RefMan #5656: Pull request #1475 synchronize by lsf37
June 13, 2025 02:32 1m 41s michaelm/doReplyTransfer
michaelm/doReplyTransfer
June 13, 2025 02:32 1m 41s
Minimal CHERI support RefMan #5655: Pull request #1469 synchronize by heshamelmatary
June 11, 2025 16:07 1m 28s CTSRD-CHERI:std-cheri-riscv
CTSRD-CHERI:std-cheri-riscv
June 11, 2025 16:07 1m 28s
Minimal CHERI support RefMan #5654: Pull request #1469 synchronize by heshamelmatary
June 11, 2025 15:11 1m 39s CTSRD-CHERI:std-cheri-riscv
CTSRD-CHERI:std-cheri-riscv
June 11, 2025 15:11 1m 39s
cleanup: use rootSlot to give a name to excapref0 RefMan #5653: Commit 1209512 pushed by lsf37
June 10, 2025 08:39 1m 35s master
master
June 10, 2025 08:39 1m 35s
Minimal CHERI support RefMan #5652: Pull request #1469 synchronize by heshamelmatary
June 8, 2025 14:25 1m 28s CTSRD-CHERI:std-cheri-riscv
CTSRD-CHERI:std-cheri-riscv
June 8, 2025 14:25 1m 28s
cleanup: use rootSlot to give a name to excapref0 RefMan #5651: Pull request #1478 synchronize by midnightveil
June 8, 2025 04:55 1m 34s midnightveil:cleanup-untyped-invocation
midnightveil:cleanup-untyped-invocation
June 8, 2025 04:55 1m 34s
github: point proof tests to Isabelle ts-2024 RefMan #5650: Commit ab5192f pushed by Indanz
June 7, 2025 08:55 1m 31s master
master
June 7, 2025 08:55 1m 31s
github: point proof tests to Isabelle ts-2024 RefMan #5649: Pull request #1481 opened by lsf37
June 6, 2025 23:49 1m 25s lsf37/proof-tests
lsf37/proof-tests
June 6, 2025 23:49 1m 25s
mcs: refactor doReplyTransfer and setMRs_fault RefMan #5648: Pull request #1475 synchronize by michaelmcinerney
June 6, 2025 01:20 1m 29s michaelm/doReplyTransfer
michaelm/doReplyTransfer
June 6, 2025 01:20 1m 29s
boot: use explicit atomics and memory ordering RefMan #5647: Pull request #1480 synchronize by ganboing
June 5, 2025 23:35 1m 28s ganboing:ganboing-boot-atomics
ganboing:ganboing-boot-atomics
June 5, 2025 23:35 1m 28s
boot: use explicit atomics and memory ordering RefMan #5646: Pull request #1480 synchronize by ganboing
June 5, 2025 23:07 Action required ganboing:ganboing-boot-atomics
ganboing:ganboing-boot-atomics
June 5, 2025 23:07 Action required
Minimal CHERI support RefMan #5645: Pull request #1469 synchronize by heshamelmatary
June 5, 2025 11:27 1m 27s CTSRD-CHERI:std-cheri-riscv
CTSRD-CHERI:std-cheri-riscv
June 5, 2025 11:27 1m 27s
boot: use explicit atomics and memory ordering RefMan #5644: Pull request #1480 synchronize by ganboing
June 5, 2025 09:56 Action required ganboing:ganboing-boot-atomics
ganboing:ganboing-boot-atomics
June 5, 2025 09:56 Action required
boot: use explicit atomics and memory ordering RefMan #5643: Pull request #1480 opened by ganboing
June 5, 2025 09:53 Action required ganboing:ganboing-boot-atomics
ganboing:ganboing-boot-atomics
June 5, 2025 09:53 Action required
python-deps: bump cmake-format and autopep8 RefMan #5641: Pull request #1479 opened by lsf37
June 5, 2025 09:04 1m 30s lsf37/cmake-format-version
lsf37/cmake-format-version
June 5, 2025 09:04 1m 30s
mcs: refactor doReplyTransfer and setMRs_fault RefMan #5640: Pull request #1475 synchronize by lsf37
June 5, 2025 07:49 1m 26s michaelm/doReplyTransfer
michaelm/doReplyTransfer
June 5, 2025 07:49 1m 26s
cleanup: use rootSlot to give a name to excapref0 RefMan #5639: Pull request #1478 synchronize by midnightveil
June 5, 2025 04:36 1m 22s midnightveil:cleanup-untyped-invocation
midnightveil:cleanup-untyped-invocation
June 5, 2025 04:36 1m 22s
cleanup: use rootSlot to give a name to excapref0 RefMan #5638: Pull request #1478 opened by midnightveil
June 5, 2025 04:36 1m 31s midnightveil:cleanup-untyped-invocation
midnightveil:cleanup-untyped-invocation
June 5, 2025 04:36 1m 31s
boot: use explicit atomics and memory order for node_boot_lock and ksNumCPUs RefMan #5637: Pull request #1476 reopened by ganboing
June 5, 2025 00:51 Action required ganboing:ganboing-boot-atomics
ganboing:ganboing-boot-atomics
June 5, 2025 00:51 Action required
mcs: fix error handling for SetTimeoutEndpoint RefMan #5635: Commit ad32c27 pushed by lsf37
June 4, 2025 15:58 1m 32s master
master
June 4, 2025 15:58 1m 32s
mcs: fix error handling in decodeSetTimeoutEndpoint RefMan #5634: Pull request #1473 synchronize by lsf37
June 4, 2025 15:43 1m 44s michaelm/decodeSetTimeoutEndpoint
michaelm/decodeSetTimeoutEndpoint
June 4, 2025 15:43 1m 44s
0