Skip to content

Actions: rel4team/sel4_cspace

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yaml
8 workflow runs
8 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
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