Skip to content

Actions: tiiuae/tii_sel4_build

Trigger check for default branch

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Harmonize machine naming
Trigger check for default branch #19: Commit 356198f pushed by hlyytine
April 16, 2024 11:40 11m 51s tii/development
April 16, 2024 11:40 11m 51s
docker: groupadd to succeed when GID already exists
Trigger check for default branch #18: Commit c21eb17 pushed by elmankku
April 5, 2024 07:01 11m 21s tii/development
April 5, 2024 07:01 11m 21s
Split meta-virt out of meta-sel4
Trigger check for default branch #17: Commit 3c7c86e pushed by hlyytine
April 4, 2024 11:18 12m 39s tii/development
April 4, 2024 11:18 12m 39s
Configure layers with fragments
Trigger check for default branch #16: Commit 2ac65d6 pushed by hlyytine
March 27, 2024 08:10 3h 53m 18s tii/development
March 27, 2024 08:10 3h 53m 18s
Mimic host as much as possible
Trigger check for default branch #15: Commit 4e361f8 pushed by hlyytine
March 21, 2024 12:48 7h 17m 7s tii/development
March 21, 2024 12:48 7h 17m 7s
ci: Weekly builds
Trigger check for default branch #14: Commit 2c4d126 pushed by elmankku
March 7, 2024 10:45 3h 59m 39s tii/development
March 7, 2024 10:45 3h 59m 39s
fix: use user UID and primary GID
Trigger check for default branch #13: Commit dd93afa pushed by elmankku
March 6, 2024 12:40 4h 0m 53s tii/development
March 6, 2024 12:40 4h 0m 53s
Add config for qemu aarch64 target
Trigger check for default branch #12: Commit ecd902d pushed by elmankku
January 9, 2024 19:19 3h 59m 54s tii/development
January 9, 2024 19:19 3h 59m 54s
Improve CAmkES examples booting instructions
Trigger check for default branch #11: Commit 7422dc5 pushed by hlyytine
December 6, 2023 11:15 3h 57m 23s tii/development
December 6, 2023 11:15 3h 57m 23s
trivial: Fix path
Trigger check for default branch #10: Commit d90c03b pushed by hlyytine
July 13, 2023 07:04 7h 47m 57s tii/development
July 13, 2023 07:04 7h 47m 57s
Suggest Docker cache cleaning
Trigger check for default branch #9: Commit 634151a pushed by hlyytine
July 13, 2023 06:59 3h 57m 21s tii/development
July 13, 2023 06:59 3h 57m 21s
Use binaries for rpi4 kernel
Trigger check for default branch #8: Commit 5597940 pushed by hlyytine
July 7, 2023 09:00 3h 50m 33s tii/development
July 7, 2023 09:00 3h 50m 33s