Skip to content

Actions: reL4team2/sel4_task

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
23 workflow runs
23 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

git subrepo pull (merge) sel4_task push-to-integral-repo #23: Commit e8257a6 pushed by Huzhiwen1208
10s master
master
10s
git subrepo pull (merge) sel4_task push-to-integral-repo #22: Commit e09f674 pushed by Huzhiwen1208
5m 39s master
master
5m 39s
feat: format and collect code push-to-integral-repo #21: Commit ade152f pushed by Huzhiwen1208
30s master
master
30s
add the cargo lock push-to-integral-repo #20: Commit d4793ea pushed by Huzhiwen1208
8s master
master
8s
fix the find time after bug push-to-integral-repo #19: Commit fac835c pushed by Huzhiwen1208
7s master
master
7s
optimize node state code (#33) push-to-integral-repo #18: Commit d452814 pushed by Huzhiwen1208
8s master
master
8s
完成 smp mcs 耦合功能的移植 (#30) push-to-integral-repo #17: Commit ad258cb pushed by Huzhiwen1208
11s master
master
11s
增加 smp 相关的锁、ipi 通信等底层代码，完成 nomcs 模式的 smp 开发 (#25) push-to-integral-repo #16: Commit 2eed004 pushed by Huzhiwen1208
9s master
master
9s
Basic Fmt (#24) push-to-integral-repo #15: Commit b4084f0 pushed by Huzhiwen1208
8s master
master
8s
Migrate smp code, now smp can pass riscv and aarch64 smp testcase rel… push-to-integral-repo #14: Commit 710c9cc pushed by Huzhiwen1208
10s master
master
10s
fix the idle thread add offset bug push-to-integral-repo #13: Commit 3266424 pushed by Huzhiwen1208
8s master
master
8s
use edge trigger rather then level trigger push-to-integral-repo #12: Commit 2d0e740 pushed by Huzhiwen1208
12s master
master
12s
change the scheduler functions according to the newest sel4 push-to-integral-repo #11: Commit 541b071 pushed by Huzhiwen1208
12s master
master
12s
reduce the rel4test total run time push-to-integral-repo #10: Commit b420faa pushed by Huzhiwen1208
18s master
master
18s
fix the miss of update timestamp and checkbudgetrestart in riscv push-to-integral-repo #9: Commit 032242f pushed by Huzhiwen1208
14s master
master
14s
fill in the mcs decode_set_sched_params push-to-integral-repo #8: Commit 118154f pushed by Huzhiwen1208
12s master
master
12s
update the timeout time and fix warings push-to-integral-repo #7: Commit 5434bcf pushed by Huzhiwen1208
10s master
master
10s
try to fix bug again push-to-integral-repo #6: Commit 7f4415d pushed by Huzhiwen1208
10s master
master
10s
fix cnode part bug and try to decline the number of cap::cap_cnode_ca… push-to-integral-repo #5: Commit c5ed168 pushed by Huzhiwen1208
10s master
master
10s
clean the ffi part push-to-integral-repo #4: Commit baa8e4e pushed by Huzhiwen1208
14s master
master
14s
clean all the warnings and the decode_set_sched_params is still todo push-to-integral-repo #3: Commit 3b04a99 pushed by Huzhiwen1208
9s master
master
9s
git subrepo pull (merge) sel4_task push-to-integral-repo #2: Commit 915fea7 pushed by Huzhiwen1208
11s master
master
11s
modify branch name push-to-integral-repo #1: Commit 7a644cd pushed by Huzhiwen1208
29s master
master
29s