Skip to content

Actions: seL4/seL4

C Parser

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,176 workflow runs
1,176 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
move cache flush from untyped reset to retype
C Parser #4864: Pull request #1289 synchronize by lsf37
August 16, 2024 08:08 1m 39s lsf37/faster-ut-reset
August 16, 2024 08:08 1m 39s
feat: add riscv-none-elf- as valid RISCV prefix
C Parser #4863: Commit 05858be pushed by lsf37
August 14, 2024 13:33 1m 41s master
August 14, 2024 13:33 1m 41s
microkit: remove const qualifiers from domain variables
C Parser #4860: Pull request #1308 opened by JE-Archer
August 14, 2024 07:30 1m 34s JE-Archer:microkit
August 14, 2024 07:30 1m 34s
Print virtual address already mapped in user error (#1304)
C Parser #4859: Commit 534ea25 pushed by lsf37
August 13, 2024 18:29 1m 35s master
August 13, 2024 18:29 1m 35s
Print virtual address already mapped in user error
C Parser #4858: Pull request #1304 synchronize by lsf37
August 13, 2024 16:20 1m 41s Ivan-Velickovic:print_vaddr
August 13, 2024 16:20 1m 41s
thread state: abandon replyObject NULL invariant
C Parser #4857: Pull request #1297 synchronize by lsf37
August 7, 2024 12:50 1m 42s lsf37/reply_push
August 7, 2024 12:50 1m 42s
MCS: Restrict reply grant rights
C Parser #4856: Pull request #874 synchronize by corlewis
August 6, 2024 00:44 1m 40s mbrcknl/mcs-grant-via-reply
August 6, 2024 00:44 1m 40s
Update AOS to use v13.0.0
C Parser #4855: Pull request #1305 opened by ralismark
August 5, 2024 02:21 1m 38s ralismark:13.0.0
August 5, 2024 02:21 1m 38s
mcs: use local variable in postpone
C Parser #4850: Commit c679fe7 pushed by lsf37
July 19, 2024 09:13 1m 38s master
July 19, 2024 09:13 1m 38s
mcs: use local variable in postpone
C Parser #4849: Pull request #1300 opened by michaelmcinerney
July 19, 2024 07:45 1m 35s michaelm/postpone
July 19, 2024 07:45 1m 35s
thread state: abandon replyObject NULL invariant
C Parser #4848: Pull request #1297 synchronize by lsf37
July 19, 2024 04:27 1m 31s lsf37/reply_push
July 19, 2024 04:27 1m 31s
move cache flush from untyped reset to retype
C Parser #4847: Pull request #1289 synchronize by lsf37
July 19, 2024 04:24 1m 34s lsf37/faster-ut-reset
July 19, 2024 04:24 1m 34s
github: factor out common workflows
C Parser #4846: Pull request #1196 synchronize by lsf37
July 18, 2024 06:46 1m 31s workflows
July 18, 2024 06:46 1m 31s
github: factor out common workflows
C Parser #4845: Pull request #1196 synchronize by lsf37
July 18, 2024 06:40 1m 34s workflows
July 18, 2024 06:40 1m 34s
hw debug api: aarch64 port
C Parser #4844: Commit 1253115 pushed by lsf37
July 18, 2024 06:09 1m 34s master
July 18, 2024 06:09 1m 34s
risc-v: remove special handling for restoring tp
C Parser #4841: Commit 3c2c5ba pushed by lsf37
July 18, 2024 01:55 1m 38s master
July 18, 2024 01:55 1m 38s
risc-v: remove special handling for restoring tp
C Parser #4840: Pull request #1253 synchronize by lsf37
July 18, 2024 00:16 1m 33s axel-h:patch-axel-105
July 18, 2024 00:16 1m 33s