Skip to content

Actions: reL4team2/rel4-integral

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
815 workflow runs
815 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

try to test again Test Kernel #413: Commit d492b6e pushed by ZhiyuanSue
17m 10s fix_perf
fix_perf
17m 10s
try to fix perf and prepare for merge Test Kernel #412: Commit 004f05b pushed by ZhiyuanSue
17m 13s fix_perf
fix_perf
17m 13s
update the ci with locked Test Kernel #411: Commit 93f3d05 pushed by ZhiyuanSue
31m 59s fix_fastpath
fix_fastpath
31m 59s
fix the asid bug Test Kernel #410: Commit 620cd75 pushed by ZhiyuanSue
24m 12s fix_fastpath
fix_fastpath
24m 12s
adjust the vspace cap and pagetable cap Test Kernel #409: Commit 9ddb30a pushed by ZhiyuanSue
1m 44s fix_fastpath
fix_fastpath
1m 44s
try to fix the fastpath under aarch64 Test Kernel #408: Commit 47e6e6a pushed by ZhiyuanSue
1m 55s fix_fastpath
fix_fastpath
1m 55s
Running Copilot coding agent Copilot coding agent #1: by Copilot AI
34s copilot/add-bookkeeping-probes
copilot/add-bookkeeping-probes
34s
git subrepo update commit for reset: restore update shell tool Test Kernel #407: Commit b8fc005 pushed by Huzhiwen1208
21m 45s master
master
21m 45s
git subrepo update commit for reset: restore update shell tool push-to-discrete-repo #238: Commit b8fc005 pushed by Huzhiwen1208
1s master
master
1s
reset: restore update shell tool Test Kernel #406: Commit 26b48af pushed by yfblock
17m 5s master
master
17m 5s
reset: restore update shell tool push-to-discrete-repo #237: Commit 26b48af pushed by yfblock
1m 6s master
master
1m 6s
git subrepo pull (merge) serial-impl/sbi Test Kernel #405: Commit 8df0f91 pushed by Huzhiwen1208
22m 10s master
master
22m 10s
git subrepo pull (merge) serial-impl/sbi push-to-discrete-repo #236: Commit 8df0f91 pushed by Huzhiwen1208
1s master
master
1s
Merge pull request #49 from reL4team2/feat-sel4bench Test Kernel #404: Commit fed69e8 pushed by yfblock
17m 0s master
master
17m 0s
Merge pull request #49 from reL4team2/feat-sel4bench push-to-discrete-repo #235: Commit fed69e8 pushed by yfblock
35s master
master
35s
CI: update CI to test sel4bench Test Kernel #403: Commit 84e5a7a pushed by yfblock
18m 17s feat-sel4bench
feat-sel4bench
18m 17s
CI: update CI to test sel4bench Test Kernel #402: Commit aa6453e pushed by yfblock
19m 45s feat-sel4bench
feat-sel4bench
19m 45s
CI: update CI to test sel4bench Test Kernel #401: Commit 5831db2 pushed by yfblock
12m 28s feat-sel4bench
feat-sel4bench
12m 28s
CI: update ci to test Test Kernel #400: Commit fffe7f7 pushed by yfblock
18m 15s feat-sel4bench
feat-sel4bench
18m 15s
CI: update test and related xtask Test Kernel #399: Commit 51ee204 pushed by yfblock
14m 7s feat-sel4bench
feat-sel4bench
14m 7s
CI: update ci to clean code Test Kernel #398: Commit 77b881e pushed by yfblock
20m 20s feat-sel4bench
feat-sel4bench
20m 20s
CI: update ci to clean code Test Kernel #397: Commit 458abbb pushed by yfblock
17m 32s feat-sel4bench
feat-sel4bench
17m 32s
CI: update ci to clean code Test Kernel #396: Commit 2097e03 pushed by yfblock
1m 43s feat-sel4bench
feat-sel4bench
1m 43s
CI: update to test ci Test Kernel #395: Commit c5fad50 pushed by yfblock
3m 3s feat-sel4bench
feat-sel4bench
3m 3s
CI: update ci to test Test Kernel #394: Commit 2531f24 pushed by yfblock
6m 56s feat-sel4bench
feat-sel4bench
6m 56s