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: microkit to completely unwrapped toolchains Nix #158: Commit 40fe61c pushed by wucke13
October 28, 2024 04:44 2m 54s main
main
October 28, 2024 04:44 2m 54s
move to completely unwrapped toolchains for microkit Nix #157: Pull request #35 synchronize by wucke13
October 28, 2024 04:36 6m 57s dev/fix-linux-custom-config
dev/fix-linux-custom-config
October 28, 2024 04:36 6m 57s
move to completely unwrapped toolchains for microkit Nix #156: Pull request #35 opened by wucke13
October 28, 2024 04:34 6m 31s dev/fix-linux-custom-config
dev/fix-linux-custom-config
October 28, 2024 04:34 6m 31s
fix: linux-aarch64 nitpicks Nix #155: Commit 00bc4c1 pushed by wucke13
October 28, 2024 03:28 2m 41s main
main
October 28, 2024 03:28 2m 41s
fix: linux-aarch64 nitpicks Nix #154: Pull request #34 synchronize by wucke13
October 28, 2024 03:25 3m 14s dev/fix-linux-custom-config
dev/fix-linux-custom-config
October 28, 2024 03:25 3m 14s
fix: linux-aarch64 nitpicks Nix #153: Pull request #34 synchronize by wucke13
October 28, 2024 03:23 3m 23s dev/fix-linux-custom-config
dev/fix-linux-custom-config
October 28, 2024 03:23 3m 23s
fix: linux-aarch64 nitpicks Nix #152: Pull request #34 opened by wucke13
October 28, 2024 03:06 2m 56s dev/fix-linux-custom-config
dev/fix-linux-custom-config
October 28, 2024 03:06 2m 56s
feat: add PoC expression to build linux Nix #151: Commit d09d8e1 pushed by wucke13
October 25, 2024 03:27 58m 19s main
main
October 25, 2024 03:27 58m 19s
feat: add PoC expression to build linux Nix #150: Pull request #33 synchronize by wucke13
October 25, 2024 03:26 56m 11s dev/add-linux-build
dev/add-linux-build
October 25, 2024 03:26 56m 11s
feat: add PoC expression to build linux Nix #149: Pull request #33 synchronize by wucke13
October 25, 2024 03:03 1h 0m 57s dev/add-linux-build
dev/add-linux-build
October 25, 2024 03:03 1h 0m 57s
feat: add PoC expression to build linux Nix #148: Pull request #33 opened by wucke13
October 25, 2024 02:51 4m 0s dev/add-linux-build
dev/add-linux-build
October 25, 2024 02:51 4m 0s
fix: normalize the way seL4-kernel.nix is written Nix #147: Pull request #32 synchronize by wucke13
October 21, 2024 02:32 5m 36s dev/fix-kernel-exprs
dev/fix-kernel-exprs
October 21, 2024 02:32 5m 36s
fix: normalize the way seL4-kernel.nix is written Nix #146: Pull request #32 synchronize by wucke13
October 20, 2024 22:45 3m 2s dev/fix-kernel-exprs
dev/fix-kernel-exprs
October 20, 2024 22:45 3m 2s
fix: normalize the way seL4-kernel.nix is written Nix #145: Pull request #32 synchronize by wucke13
October 18, 2024 04:51 51s dev/fix-kernel-exprs
dev/fix-kernel-exprs
October 18, 2024 04:51 51s
fix: normalize the way seL4-kernel.nix is written Nix #144: Pull request #32 synchronize by wucke13
October 18, 2024 04:15 21m 27s dev/fix-kernel-exprs
dev/fix-kernel-exprs
October 18, 2024 04:15 21m 27s
fix: normalize the way seL4-kernel.nix is written Nix #143: Pull request #32 opened by wucke13
October 18, 2024 04:03 22m 49s dev/fix-kernel-exprs
dev/fix-kernel-exprs
October 18, 2024 04:03 22m 49s
fix(microkit): add riscv64 toolchain to devShell Nix #142: Commit ab8139a pushed by wucke13
October 17, 2024 23:10 3m 1s main
main
October 17, 2024 23:10 3m 1s
maintenance of our hacks Nix #141: Pull request #31 synchronize by wucke13
October 16, 2024 13:25 2m 53s dev/hack-maintenance
dev/hack-maintenance
October 16, 2024 13:25 2m 53s
maintenance of our hacks Nix #140: Pull request #31 opened by wucke13
October 16, 2024 13:21 3m 56s dev/hack-maintenance
dev/hack-maintenance
October 16, 2024 13:21 3m 56s
chore: remove further formatting stuff Nix #139: Commit 1dbc229 pushed by wucke13
October 16, 2024 13:08 3m 2s main
main
October 16, 2024 13:08 3m 2s
add cachix note Nix #138: Pull request #30 synchronize by wucke13
October 16, 2024 12:58 3m 23s dev/add-cachix-note
dev/add-cachix-note
October 16, 2024 12:58 3m 23s
add cachix note Nix #137: Pull request #30 synchronize by wucke13
October 16, 2024 12:56 3m 2s dev/add-cachix-note
dev/add-cachix-note
October 16, 2024 12:56 3m 2s
add cachix note Nix #136: Pull request #30 synchronize by wucke13
October 16, 2024 12:53 2m 54s dev/add-cachix-note
dev/add-cachix-note
October 16, 2024 12:53 2m 54s
add cachix note Nix #135: Pull request #30 synchronize by wucke13
October 16, 2024 00:37 2m 58s dev/add-cachix-note
dev/add-cachix-note
October 16, 2024 00:37 2m 58s
add cachix note Nix #134: Pull request #30 opened by wucke13
October 16, 2024 00:34 2m 59s dev/add-cachix-note
dev/add-cachix-note
October 16, 2024 00:34 2m 59s