Skip to content

Actions: rel4team/sel4_cspace

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
11 workflow runs
11 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Mcs support 2 (#23) CI #8: Commit 56e891a pushed by llh730
December 24, 2024 08:57 32s mi_dev
mi_dev
December 24, 2024 08:57 32s
Mcs support (#22) CI #7: Commit 9350038 pushed by llh730
December 14, 2024 02:26 33s mi_dev
mi_dev
December 14, 2024 02:26 33s
Mcs support (#19) CI #6: Commit 59b7eda pushed by llh730
November 15, 2024 02:19 34s mi_dev
mi_dev
November 15, 2024 02:19 34s
update the docs CI #5: Commit e053937 pushed by llh730
November 2, 2024 04:00 34s mi_dev
mi_dev
November 2, 2024 04:00 34s
Update kernel 11 (#18) CI #4: Commit d279613 pushed by llh730
October 29, 2024 13:52 35s mi_dev
mi_dev
October 29, 2024 13:52 35s
Update kernel 10 (#17) CI #3: Commit b1cd98b pushed by llh730
October 29, 2024 04:13 38s mi_dev
mi_dev
October 29, 2024 04:13 38s
pages build and deployment pages-build-deployment #2: by Huzhiwen1208
September 4, 2024 16:47 43s gh-pages
gh-pages
September 4, 2024 16:47 43s
FIX CI CI #2: Commit cba1d5e pushed by Huzhiwen1208
September 4, 2024 16:45 51s mi_dev
mi_dev
September 4, 2024 16:45 51s
add gh page ci CI #1: Commit b492c95 pushed by Huzhiwen1208
September 4, 2024 16:43 37s mi_dev
mi_dev
September 4, 2024 16:43 37s
update ci for integral repo and discrete repo sync push-to-integral-repo #1: Commit b21030f pushed by llh730
August 14, 2024 15:33 14s mi_dev
mi_dev
August 14, 2024 15:33 14s
pages build and deployment pages-build-deployment #1: by llh730
June 29, 2024 03:24 46s main
main
June 29, 2024 03:24 46s