Skip to content

Actions: rel4team/sel4_vspace

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update kernel 11 (#18) push-to-integral-repo #11: Commit aa09a55 pushed by llh730
October 29, 2024 13:53 18s mi_dev
mi_dev
October 29, 2024 13:53 18s
Update kernel 10 (#17) push-to-integral-repo #10: Commit c53bd2d pushed by llh730
October 29, 2024 04:13 17s mi_dev
mi_dev
October 29, 2024 04:13 17s
add arch relevant invocation and add doc push-to-integral-repo #9: Commit 13c3205 pushed by llh730
August 29, 2024 05:06 39s mi_dev
mi_dev
August 29, 2024 05:06 39s
Clean ffi 1 (#8) push-to-integral-repo #8: Commit 2f69158 pushed by llh730
August 28, 2024 03:03 18s mi_dev
mi_dev
August 28, 2024 03:03 18s
Clean fastpath restore (#7) push-to-integral-repo #7: Commit 86b93d6 pushed by llh730
August 26, 2024 08:23 19s mi_dev
mi_dev
August 26, 2024 08:23 19s
implement init_cpu and init_plat push-to-integral-repo #6: Commit 7208b9d pushed by llh730
August 22, 2024 04:11 20s mi_dev
mi_dev
August 22, 2024 04:11 20s
implement unimplemented content in aarch64.rs push-to-integral-repo #5: Commit e5a2cfe pushed by llh730
August 20, 2024 07:44 20s mi_dev
mi_dev
August 20, 2024 07:44 20s
remove all log::warn and can found panic at local push-to-integral-repo #4: Commit 6ae461a pushed by llh730
August 19, 2024 09:35 19s mi_dev
mi_dev
August 19, 2024 09:35 19s
git subrepo pull sel4_vspace push-to-integral-repo #3: Commit 1d317b9 pushed by llh730
August 15, 2024 07:31 13s mi_dev
mi_dev
August 15, 2024 07:31 13s
fix bug push-to-integral-repo #2: Commit 851011c pushed by ZhiyuanSue
August 15, 2024 01:30 24s mi_dev
mi_dev
August 15, 2024 01:30 24s
update ci for integral repo and discrete repo sync push-to-integral-repo #1: Commit b2b62e2 pushed by llh730
August 14, 2024 15:33 15s mi_dev
mi_dev
August 14, 2024 15:33 15s
pages build and deployment pages-build-deployment #1: by llh730
June 29, 2024 03:11 39s main
main
June 29, 2024 03:11 39s