Skip to content

Actions: rel4team/mi-dev-integral-rel4

Actions

push-to-discrete-repo

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push-to-discrete-repo.yaml
57 workflow runs
57 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

git subrepo update commit for Mcs support 2 (#23) push-to-discrete-repo #57: Commit df97fdf pushed by llh730
December 24, 2024 08:57 3s mi_dev
mi_dev
December 24, 2024 08:57 3s
Mcs support 2 (#23) push-to-discrete-repo #56: Commit 52c99d4 pushed by ZhiyuanSue
December 24, 2024 08:56 44s mi_dev
mi_dev
December 24, 2024 08:56 44s
git subrepo update commit for Mcs support (#22) push-to-discrete-repo #55: Commit 495cab7 pushed by llh730
December 14, 2024 02:26 2s mi_dev
mi_dev
December 14, 2024 02:26 2s
push-to-discrete-repo push-to-discrete-repo #54: by ZhiyuanSue
December 14, 2024 02:26 49s mi_dev
mi_dev
December 14, 2024 02:26 49s
git subrepo update commit for Mcs support ci (#21) push-to-discrete-repo #53: Commit 33d8cca pushed by llh730
November 28, 2024 01:49 2s mi_dev
mi_dev
November 28, 2024 01:49 2s
Mcs support ci (#21) push-to-discrete-repo #52: Commit 6512a99 pushed by ZhiyuanSue
November 28, 2024 01:48 20s mi_dev
mi_dev
November 28, 2024 01:48 20s
git subrepo update commit for Mcs support (#20) push-to-discrete-repo #51: Commit 85ca6cd pushed by llh730
November 25, 2024 15:26 3s mi_dev
mi_dev
November 25, 2024 15:26 3s
Mcs support (#20) push-to-discrete-repo #50: Commit 7d87660 pushed by ZhiyuanSue
November 25, 2024 15:25 54s mi_dev
mi_dev
November 25, 2024 15:25 54s
git subrepo update commit for Mcs support (#19) push-to-discrete-repo #49: Commit e24b950 pushed by llh730
November 15, 2024 02:20 2s mi_dev
mi_dev
November 15, 2024 02:20 2s
Mcs support (#19) push-to-discrete-repo #48: Commit 0380995 pushed by ZhiyuanSue
November 15, 2024 02:19 33s mi_dev
mi_dev
November 15, 2024 02:19 33s
git subrepo update commit for add microkit patch desc push-to-discrete-repo #47: Commit c03fd28 pushed by llh730
November 6, 2024 10:42 2s mi_dev
mi_dev
November 6, 2024 10:42 2s
add microkit patch desc push-to-discrete-repo #46: Commit c4c2db5 pushed by Huzhiwen1208
November 6, 2024 10:42 24s mi_dev
mi_dev
November 6, 2024 10:42 24s
git subrepo update commit for update the docs push-to-discrete-repo #45: Commit 40f11dc pushed by llh730
November 2, 2024 04:00 1s mi_dev
mi_dev
November 2, 2024 04:00 1s
update the docs push-to-discrete-repo #44: Commit 493b5dc pushed by ZhiyuanSue
November 2, 2024 04:00 21s mi_dev
mi_dev
November 2, 2024 04:00 21s
git subrepo update commit for Update kernel 11 (#18) push-to-discrete-repo #43: Commit c1bea74 pushed by llh730
October 29, 2024 13:53 2s mi_dev
mi_dev
October 29, 2024 13:53 2s
Update kernel 11 (#18) push-to-discrete-repo #42: Commit afc10e2 pushed by ZhiyuanSue
October 29, 2024 13:52 28s mi_dev
mi_dev
October 29, 2024 13:52 28s
git subrepo update commit for update sel4_common parser source to a r… push-to-discrete-repo #41: Commit 79c0571 pushed by llh730
October 29, 2024 05:35 2s mi_dev
mi_dev
October 29, 2024 05:35 2s
update sel4_common parser source to a rel4team repo push-to-discrete-repo #40: Commit 3b18b5f pushed by ZhiyuanSue
October 29, 2024 05:35 36s mi_dev
mi_dev
October 29, 2024 05:35 36s
git subrepo update commit for Update kernel 10 (#17) push-to-discrete-repo #39: Commit 9d30555 pushed by llh730
October 29, 2024 04:13 2s mi_dev
mi_dev
October 29, 2024 04:13 2s
Update kernel 10 (#17) push-to-discrete-repo #38: Commit 10585e1 pushed by ZhiyuanSue
October 29, 2024 04:13 35s mi_dev
mi_dev
October 29, 2024 04:13 35s
git subrepo pull (merge) sel4_cspace push-to-discrete-repo #37: Commit 0a604b8 pushed by ZhiyuanSue
September 26, 2024 08:50 2s mi_dev
mi_dev
September 26, 2024 08:50 2s
Update kernel (#16) push-to-discrete-repo #36: Commit 016957c pushed by ZhiyuanSue
September 26, 2024 08:04 15s mi_dev
mi_dev
September 26, 2024 08:04 15s
git subrepo update commit for Merge pull request #10 from rel4team/cl… push-to-discrete-repo #35: Commit e477105 pushed by llh730
August 29, 2024 05:06 2s mi_dev
mi_dev
August 29, 2024 05:06 2s
Merge pull request #10 from rel4team/clear_todo push-to-discrete-repo #34: Commit bc4f6a6 pushed by llh730
August 29, 2024 05:05 30s mi_dev
mi_dev
August 29, 2024 05:05 30s
git subrepo update commit for Clean ffi 2 (#9) push-to-discrete-repo #33: Commit 89a347b pushed by llh730
August 28, 2024 07:09 2s mi_dev
mi_dev
August 28, 2024 07:09 2s