Skip to content

Actions: axel-h/seL4

Actions

seL4Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
sel4test-deploy.yml
75 workflow runs
75 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

mcs: use local variable in postpone seL4Test #221: Commit c679fe7 pushed by axel-h
July 22, 2024 17:17 45m 5s master
master
July 22, 2024 17:17 45m 5s
hw debug api: aarch64 port seL4Test #220: Commit 1253115 pushed by axel-h
July 18, 2024 08:02 46m 39s master
master
July 18, 2024 08:02 46m 39s
sel4-deps: tighten deps; update instructions seL4Test #219: Commit 619a310 pushed by axel-h
July 12, 2024 12:54 43m 44s master
master
July 12, 2024 12:54 43m 44s
configs: add zynqmp and rpi4 to verified platforms seL4Test #218: Commit 4b7c2a3 pushed by axel-h
July 8, 2024 10:15 44m 31s master
master
July 8, 2024 10:15 44m 31s
Update VERSION file to 13.0.0-dev seL4Test #217: Commit 7a3ab6b pushed by axel-h
July 4, 2024 09:27 43m 48s master
master
July 4, 2024 09:27 43m 48s
recreate 13.0.0 release state seL4Test #216: Commit cd6d3b8 pushed by axel-h
July 1, 2024 11:31 43m 18s master
master
July 1, 2024 11:31 43m 18s
Update VERSION file to 13.0.0-dev seL4Test #215: Commit 94ca590 pushed by axel-h
July 1, 2024 07:52 44m 4s master
master
July 1, 2024 07:52 44m 4s
manual: document useful constants for SC creation seL4Test #214: Commit a6129c1 pushed by axel-h
July 1, 2024 07:10 49m 21s master
master
July 1, 2024 07:10 49m 21s
arm: add missing seL4_VPPIEvent_Length constants seL4Test #213: Commit 10bb153 pushed by axel-h
June 28, 2024 13:32 1h 37m 56s master
master
June 28, 2024 13:32 1h 37m 56s
mcs: rewrite guard in preemptionPoint seL4Test #212: Commit 2648df4 pushed by axel-h
June 20, 2024 13:15 1h 32m 8s master
master
June 20, 2024 13:15 1h 32m 8s
ioapic: set IOAPIC_IRQ_LINES to max allowed seL4Test #211: Commit 6e9370a pushed by axel-h
June 14, 2024 15:30 44m 9s master
master
June 14, 2024 15:30 44m 9s
mcs: more uniformly handle ready and release queue seL4Test #210: Commit 686bba4 pushed by axel-h
May 23, 2024 09:32 43m 54s master
master
May 23, 2024 09:32 43m 54s
Remove unused Python imports in scripts seL4Test #209: Commit 410b464 pushed by axel-h
May 3, 2024 15:23 43m 24s master
master
May 3, 2024 15:23 43m 24s
fix: invisible chars due to ANSI escape codes seL4Test #208: Commit 0260fba pushed by axel-h
April 29, 2024 08:56 3h 49m 2s master
master
April 29, 2024 08:56 3h 49m 2s
make SMP conditional check more general seL4Test #207: Commit a584804 pushed by axel-h
April 11, 2024 13:50 43m 23s master
master
April 11, 2024 13:50 43m 23s
cmake: remove obsolete variable seL4Test #206: Commit f461e0f pushed by axel-h
April 10, 2024 20:19 1h 8m 32s master
master
April 10, 2024 20:19 1h 8m 32s
libsel4: remove obsolete --cfile and --word-size seL4Test #205: Commit 87112d8 pushed by axel-h
April 9, 2024 20:10 45m 32s master
master
April 9, 2024 20:10 45m 32s
fix type, add missing 'extern' keyword seL4Test #204: Commit 05d0f06 pushed by axel-h
April 9, 2024 18:58 44m 18s master
master
April 9, 2024 18:58 44m 18s
aarch64: Rename armKSGlobalLogPDE seL4Test #203: Commit 90bd557 pushed by axel-h
April 9, 2024 10:20 43m 19s master
master
April 9, 2024 10:20 43m 19s
trivial/cmake: fix typo in description seL4Test #202: Commit daf0afa pushed by axel-h
April 8, 2024 16:10 58m 0s master
master
April 8, 2024 16:10 58m 0s
boot: Fix root cnode size compile-time assert seL4Test #201: Commit ed5e7c8 pushed by axel-h
April 8, 2024 12:30 43m 32s master
master
April 8, 2024 12:30 43m 32s
Fix macro to access overflow node seL4Test #200: Commit 21d6998 pushed by axel-h
March 27, 2024 14:40 43m 45s master
master
March 27, 2024 14:40 43m 45s
CI: cancel older concurrent PR runs seL4Test #199: Commit 4d7cde0 pushed by axel-h
March 26, 2024 20:09 45m 30s master
master
March 26, 2024 20:09 45m 30s
github: add AARCH64 C proof session seL4Test #198: Commit 4079d4c pushed by axel-h
March 25, 2024 17:44 1h 5m 47s master
master
March 25, 2024 17:44 1h 5m 47s
risc-v: make trap_entry a function seL4Test #197: Commit 271f6cc pushed by axel-h
March 25, 2024 17:12 1h 6m 5s master
master
March 25, 2024 17:12 1h 6m 5s