Skip to content

Actions: DLR-FT/seL4-nix-utils

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
182 workflow runs
182 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: add extraCmakeFlags arg to seL4-kernel.nix Nix #183: Commit 71a31e0 pushed by wucke13
November 13, 2024 10:49 2m 57s main
main
November 13, 2024 10:49 2m 57s
fix: add extraCmakeFlags arg to seL4-kernel.nix Nix #182: Pull request #42 opened by wucke13
November 13, 2024 10:13 3m 7s dev/fix-sel4-kernel-extra-cmake-flags
dev/fix-sel4-kernel-extra-cmake-flags
November 13, 2024 10:13 3m 7s
feat: add opensbi-cva6 expression Nix #181: Commit e66b879 pushed by wucke13
November 4, 2024 08:40 2m 53s main
main
November 4, 2024 08:40 2m 53s
feat: add opensbi-cva6 expression Nix #180: Pull request #40 opened by wucke13
November 2, 2024 18:57 32m 18s dev/add-opensbi
dev/add-opensbi
November 2, 2024 18:57 32m 18s
refactor(CI): introduce short job names Nix #179: Commit 1f45ae6 pushed by wucke13
November 1, 2024 16:49 3m 2s main
main
November 1, 2024 16:49 3m 2s
refactor: remove need for oldBintools Nix #178: Pull request #39 synchronize by wucke13
November 1, 2024 16:36 2m 45s dev/seL4-kernel-hotfix
dev/seL4-kernel-hotfix
November 1, 2024 16:36 2m 45s
refactor: remove need for oldBintools Nix #177: Pull request #39 synchronize by wucke13
November 1, 2024 13:11 2m 54s dev/seL4-kernel-hotfix
dev/seL4-kernel-hotfix
November 1, 2024 13:11 2m 54s
refactor: remove need for oldBintools Nix #176: Pull request #39 synchronize by wucke13
November 1, 2024 12:35 2m 52s dev/seL4-kernel-hotfix
dev/seL4-kernel-hotfix
November 1, 2024 12:35 2m 52s
refactor: remove need for oldBintools Nix #175: Pull request #39 synchronize by wucke13
October 31, 2024 23:25 30m 30s dev/seL4-kernel-hotfix
dev/seL4-kernel-hotfix
October 31, 2024 23:25 30m 30s
refactor: remove need for oldBintools Nix #174: Pull request #39 synchronize by wucke13
October 31, 2024 23:16 29m 50s dev/seL4-kernel-hotfix
dev/seL4-kernel-hotfix
October 31, 2024 23:16 29m 50s
refactor: remove need for oldBintools Nix #173: Pull request #39 opened by wucke13
October 31, 2024 22:42 3m 50s dev/seL4-kernel-hotfix
dev/seL4-kernel-hotfix
October 31, 2024 22:42 3m 50s
chore: drop seL4-moritz-fork Nix #172: Commit 8573d5d pushed by wucke13
October 31, 2024 22:36 2m 51s main
main
October 31, 2024 22:36 2m 51s
Dev/se l4 kernel hotfix Nix #171: Pull request #38 synchronize by wucke13
October 31, 2024 21:37 3m 13s dev/seL4-kernel-hotfix
dev/seL4-kernel-hotfix
October 31, 2024 21:37 3m 13s
Dev/se l4 kernel hotfix Nix #170: Pull request #38 synchronize by wucke13
October 31, 2024 21:35 2m 48s dev/seL4-kernel-hotfix
dev/seL4-kernel-hotfix
October 31, 2024 21:35 2m 48s
Dev/se l4 kernel hotfix Nix #169: Pull request #38 synchronize by wucke13
October 31, 2024 21:31 3m 20s dev/seL4-kernel-hotfix
dev/seL4-kernel-hotfix
October 31, 2024 21:31 3m 20s
feat: mount root as tmpfs instead of rootfs Nix #168: Commit d63f760 pushed by wucke13
October 30, 2024 12:34 2m 47s main
main
October 30, 2024 12:34 2m 47s
feat: mount root as tmpfs instead of rootfs Nix #167: Pull request #37 synchronize by sevenautumns
October 30, 2024 10:37 2m 55s dev/tmpfs
dev/tmpfs
October 30, 2024 10:37 2m 55s
feat: mount root as tmpfs instead of rootfs Nix #166: Pull request #37 synchronize by sevenautumns
October 29, 2024 15:36 2m 57s dev/tmpfs
dev/tmpfs
October 29, 2024 15:36 2m 57s
feat: improve linux-vm.nix ergonomics Nix #165: Commit aab6a28 pushed by wucke13
October 29, 2024 13:59 3m 6s main
main
October 29, 2024 13:59 3m 6s
feat: mount root as tmpfs instead of rootfs Nix #164: Pull request #37 synchronize by sevenautumns
October 29, 2024 13:11 2m 47s dev/tmpfs
dev/tmpfs
October 29, 2024 13:11 2m 47s
feat: mount root as tmpfs instead of rootfs Nix #163: Pull request #37 opened by sevenautumns
October 29, 2024 13:06 2m 57s dev/tmpfs
dev/tmpfs
October 29, 2024 13:06 2m 57s
feat: improve linux-vm.nix ergonomics Nix #162: Pull request #36 synchronize by wucke13
October 29, 2024 05:46 2m 53s dev/improve-linux-vm-builder
dev/improve-linux-vm-builder
October 29, 2024 05:46 2m 53s
feat: improve linux-vm.nix ergonomics Nix #161: Pull request #36 opened by wucke13
October 29, 2024 05:42 2m 45s dev/improve-linux-vm-builder
dev/improve-linux-vm-builder
October 29, 2024 05:42 2m 45s
fix: for CMake script bug Nix #160: Commit 7b27440 pushed by wucke13
October 28, 2024 10:50 2m 46s main
main
October 28, 2024 10:50 2m 46s
fix: normalize the way seL4-kernel.nix is written Nix #159: Pull request #32 synchronize by wucke13
October 28, 2024 10:45 3m 7s dev/fix-kernel-exprs
dev/fix-kernel-exprs
October 28, 2024 10:45 3m 7s