Skip to content

Actions: seL4/camkes-vm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
17 workflow runs
17 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add stm32mp2 definitions Camkes-VM-Examples-HW #600: Pull request #136 opened by bruelc
7m 22s
7m 22s
trivial: update style for new cmake-format CI #675: Commit ad66b65 pushed by lsf37
2m 9s master
master
2m 9s
trivial: update style for new cmake-format Trigger #76: Commit ad66b65 pushed by lsf37
1m 22s master
master
1m 22s
Bump minimum CMake version PR #596: Pull request #135 opened by lsf37
2m 11s cmake-version
cmake-version
2m 11s
Bump minimum CMake version CI #674: Pull request #135 opened by lsf37
43s cmake-version
cmake-version
43s
Bump minimum CMake version Camkes-VM-Examples-HW #599: Pull request #135 opened by lsf37
12m 48s
12m 48s
VM_Arm: add generic vuart module Camkes-VM-Examples-HW #598: Pull request #134 synchronize by ericspidledw
4m 43s
4m 43s
VM_Arm: add generic vuart module Camkes-VM-Examples-HW #597: Pull request #134 opened by ericspidledw
5m 0s
5m 0s
github: use central CI workflows CI #671: Commit 3dd34a4 pushed by lsf37
6m 44s master
master
6m 44s
github: use central CI workflows Trigger #75: Commit 3dd34a4 pushed by lsf37
6m 27s master
master
6m 27s
github: use central CI workflows PR #593: Pull request #133 opened by lsf37
32s lsf37/central-workflows
lsf37/central-workflows
32s
github: use central CI workflows CI #670: Pull request #133 opened by lsf37
18s lsf37/central-workflows
lsf37/central-workflows
18s
github: use central CI workflows Camkes-VM-Examples-HW #596: Pull request #133 opened by lsf37
7m 23s
7m 23s
Reduce VMM memory overheads and make memory management easier to configure (Part 1) Camkes-VM-Examples-HW #595: Pull request #132 labeled by kent-mcleod
2h 20m 23s
2h 20m 23s
Reduce VMM memory overheads and make memory management easier to configure (Part 1) CI #669: Pull request #132 opened by kent-mcleod
19m 0s kent-mcleod:kent/vm-shrink-mem
kent-mcleod:kent/vm-shrink-mem
19m 0s
Reduce VMM memory overheads and make memory management easier to configure (Part 1) PR #592: Pull request #132 opened by kent-mcleod
18m 1s kent-mcleod:kent/vm-shrink-mem
kent-mcleod:kent/vm-shrink-mem
18m 1s
Reduce VMM memory overheads and make memory management easier to configure (Part 1) Camkes-VM-Examples-HW #594: Pull request #132 opened by kent-mcleod
31m 25s
31m 25s