Skip to content

Actions: shym/ocaml-unikraft

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
46 workflow runs
46 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add the content of OPAM package to pin-add Build and test #46: Commit bf85bd0 pushed by shym
January 15, 2025 18:43 5m 41s 18
18
January 15, 2025 18:43 5m 41s
Add an option package to select the OCaml network stack Build and test #45: Commit fe08c4a pushed by shym
December 18, 2024 14:59 18m 48s dev
dev
December 18, 2024 14:59 18m 48s
Add an option package to select the OCaml network stack Build and test #44: Commit fe08c4a pushed by shym
December 13, 2024 11:17 18m 8s libs2
libs2
December 13, 2024 11:17 18m 8s
CI: Test the installation of lwip Build and test #43: Commit 106b02c pushed by shym
December 4, 2024 10:37 17m 52s dev
dev
December 4, 2024 10:37 17m 52s
CI: Test the installation of lwip Build and test #42: Commit 106b02c pushed by shym
December 3, 2024 15:43 15m 3s libs2
libs2
December 3, 2024 15:43 15m 3s
Use OCaml 5.2.1 in CI Build and test #41: Commit 72b3f3e pushed by shym
December 3, 2024 13:28 12m 17s libs2
libs2
December 3, 2024 13:28 12m 17s
DROPME Run the opam install verbosely in CI Build and test #40: Commit af9ca21 pushed by shym
December 3, 2024 12:35 8m 17s libs2
libs2
December 3, 2024 12:35 8m 17s
Generate all the *.opam files Build and test #39: Commit d92a241 pushed by shym
December 2, 2024 18:45 8m 28s libs2
libs2
December 2, 2024 18:45 8m 28s
Enable dispatcher threads for netdev Build and test #38: Commit 12bc680 pushed by shym
December 2, 2024 16:08 8m 51s libs2
libs2
December 2, 2024 16:08 8m 51s
Update the dependencies in the compiler OPAM packages Build and test #37: Commit cfdf025 pushed by shym
November 27, 2024 18:48 12m 42s libs2
libs2
November 27, 2024 18:48 12m 42s
Fix quoting of UNIKRAFT in Makefile Build and test #36: Commit 959d0cd pushed by shym
November 15, 2024 18:10 11m 47s libs
libs
November 15, 2024 18:10 11m 47s
WIP Try and minify musl Build and test #35: Commit a9df6fa pushed by shym
November 5, 2024 18:13 11m 44s libs
libs
November 5, 2024 18:13 11m 44s
WIP Build config with only the keys for the enabled libraries Build and test #34: Commit 778c80c pushed by shym
October 17, 2024 11:53 9m 4s libs
libs
October 17, 2024 11:53 9m 4s
Make the list of libraries configurable Build and test #33: Commit f80b279 pushed by shym
October 16, 2024 11:26 12m 33s libs
libs
October 16, 2024 11:26 12m 33s
Switch the CPU setting when running tests on ARM Build and test #32: Commit a8d3cd4 pushed by shym
October 10, 2024 15:01 9m 1s dev
dev
October 10, 2024 15:01 9m 1s
Clean up Makefile parameters Build and test #31: Commit 9eb870f pushed by shym
October 9, 2024 17:38 12m 8s dev
dev
October 9, 2024 17:38 12m 8s
Add a trampoline target to build Unikraft targets Build and test #30: Commit c772076 pushed by shym
September 30, 2024 17:21 8m 27s dev
dev
September 30, 2024 17:21 8m 27s
example: Add network and isa-debug-exit to the QEMU parameters Build and test #29: Commit d3bc9e3 pushed by shym
September 24, 2024 17:14 1m 50s dev
dev
September 24, 2024 17:14 1m 50s
example: Add network and isa-debug-exit to the QEMU parameters Build and test #28: Commit 6c0e880 pushed by shym
September 24, 2024 17:12 8m 40s dev
dev
September 24, 2024 17:12 8m 40s
Remove the local and changing keys in the full configurations Build and test #27: Commit 8141786 pushed by shym
September 24, 2024 15:00 11m 0s reconfig
reconfig
September 24, 2024 15:00 11m 0s
Enable PRINTD on QEMU/x86_64 Build and test #26: Commit e7811e2 pushed by shym
September 20, 2024 10:00 9m 0s dev
dev
September 20, 2024 10:00 9m 0s
Update backend OPAM packages even when they do not need lwip Build and test #25: Commit 53f2b2c pushed by shym
September 19, 2024 14:59 8m 24s dev
dev
September 19, 2024 14:59 8m 24s
Handle paths and files for Unikraft libraries (musl, lwip) Build and test #24: Commit 7f1016a pushed by shym
September 19, 2024 14:01 2m 30s dev
dev
September 19, 2024 14:01 2m 30s
Set __Unikraft__ in the C compiler wrapper Build and test #23: Commit 9f0b792 pushed by shym
September 13, 2024 14:50 11m 39s dev
dev
September 13, 2024 14:50 11m 39s
Work around missing darcs in CI Ubuntu Build and test #22: Commit b27bb9a pushed by shym
September 11, 2024 16:36 8m 21s dev
dev
September 11, 2024 16:36 8m 21s