Skip to content

Actions: seL4/sel4test

Actions

Trigger

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
trigger.yml
18 workflow runs
18 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improve periodic_thread counter check Trigger #43: Commit d89ce01 pushed by Indanz
November 26, 2024 23:45 14s master
master
November 26, 2024 23:45 14s
scheduler: resume does preempt Trigger #42: Commit fe4839e pushed by lsf37
July 12, 2024 06:42 16s master
master
July 12, 2024 06:42 16s
ipc: explicitly disable IPC0028 until fixed Trigger #41: Commit 17cac54 pushed by lsf37
June 17, 2024 10:20 13s master
master
June 17, 2024 10:20 13s
remove explicit newline in ZF_LOGx() Trigger #40: Commit 2587dda pushed by lsf37
June 17, 2024 05:32 15s master
master
June 17, 2024 05:32 15s
settings: Disable timer tests for RocketChip Trigger #39: Commit 8a08306 pushed by lsf37
June 16, 2024 10:19 14s master
master
June 16, 2024 10:19 14s
trivial: fix comment Trigger #38: Commit 1df49ec pushed by lsf37
May 29, 2024 03:55 15s master
master
May 29, 2024 03:55 15s
TIMER0001: remove unused variable Trigger #37: Commit 95522e9 pushed by Indanz
May 21, 2024 16:46 28s master
master
May 21, 2024 16:46 28s
CI: cancel older concurrent PR runs Trigger #36: Commit e0cb803 pushed by lsf37
April 9, 2024 23:49 15s master
master
April 9, 2024 23:49 15s
CI: the seL4/machine_queue repo is public now Trigger #35: Commit b416516 pushed by lsf37
April 4, 2024 07:11 19s master
master
April 4, 2024 07:11 19s
cmake: remove trailing slash Trigger #34: Commit a8f83c5 pushed by Indanz
April 1, 2024 08:40 18s master
master
April 1, 2024 08:40 18s
Add ARM vCPU inject IRQ test Trigger #33: Commit 9ff0911 pushed by lsf37
February 21, 2024 01:08 1m 47s master
master
February 21, 2024 01:08 1m 47s
SMC0001: Remove test of clobbered registers Trigger #32: Commit eb1b944 pushed by kent-mcleod
February 20, 2024 22:03 19s master
master
February 20, 2024 22:03 19s
aarch64,smc: Add tests for SMC cap behaviors Trigger #31: Commit f1fa98c pushed by Indanz
February 19, 2024 21:30 18s master
master
February 19, 2024 21:30 18s
github: bump actions to node20 Trigger #30: Commit dae2ff3 pushed by lsf37
February 7, 2024 23:38 34s master
master
February 7, 2024 23:38 34s
hw debug API: aarch64 sw break, single step tests Trigger #29: Commit 0a488b9 pushed by Indanz
January 23, 2024 10:56 13s master
master
January 23, 2024 10:56 13s
CI: simulation and HW build with LLVM on RISCV Trigger #28: Commit b383b19 pushed by lsf37
January 11, 2024 22:23 3m 51s master
master
January 11, 2024 22:23 3m 51s
fix description, the time slice is 100 ms Trigger #27: Commit ab91891 pushed by Indanz
November 10, 2023 12:55 13s master
master
November 10, 2023 12:55 13s
SCHED0021: decrease chances of a race condition Trigger #26: Commit e7d9607 pushed by Indanz
October 27, 2023 10:13 17s master
master
October 27, 2023 10:13 17s