Skip to content

Actions: DLR-FT/seL4-nix-utils

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
122 workflow runs
122 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: add pyoxidizer pkg
Nix #47: Pull request #10 synchronize by wucke13
April 19, 2024 06:53 1s dev/add-microkit
April 19, 2024 06:53 1s
feat: add pyoxidizer pkg
Nix #46: Pull request #10 opened by wucke13
April 19, 2024 06:53 2m 17s dev/add-microkit
April 19, 2024 06:53 2m 17s
Merge pull request #9 from DLR-FT/dev/add-microkit
Nix #45: Commit ba83085 pushed by wucke13
April 18, 2024 16:28 2m 9s main
April 18, 2024 16:28 2m 9s
Dev/add microkit
Nix #44: Pull request #9 synchronize by wucke13
April 18, 2024 16:11 2m 12s dev/add-microkit
April 18, 2024 16:11 2m 12s
Dev/add microkit
Nix #43: Pull request #9 synchronize by wucke13
April 18, 2024 16:03 5m 28s dev/add-microkit
April 18, 2024 16:03 5m 28s
Dev/add microkit
Nix #42: Pull request #9 synchronize by wucke13
April 18, 2024 16:03 2m 18s dev/add-microkit
April 18, 2024 16:03 2m 18s
Dev/add microkit
Nix #41: Pull request #9 opened by wucke13
April 18, 2024 16:00 2m 23s dev/add-microkit
April 18, 2024 16:00 2m 23s
Merge pull request #8 from DLR-FT/dev/add-xilinx-uboot
Nix #40: Commit f3fda05 pushed by wucke13
April 10, 2024 21:47 2m 13s main
April 10, 2024 21:47 2m 13s
feat: add rpi4 uboot and sd-image
Nix #39: Pull request #8 synchronize by wucke13
April 10, 2024 21:10 34m 13s dev/add-xilinx-uboot
April 10, 2024 21:10 34m 13s
feat: add rpi4 uboot and sd-image
Nix #38: Pull request #8 opened by wucke13
April 10, 2024 20:46 29m 55s dev/add-xilinx-uboot
April 10, 2024 20:46 29m 55s
Merge pull request #7 from DLR-FT/dev/add-xilinx-uboot
Nix #37: Commit 659b384 pushed by wucke13
April 2, 2024 17:50 2m 22s main
April 2, 2024 17:50 2m 22s
feat: add U-Boot drv for zynq-zc702
Nix #36: Pull request #7 synchronize by wucke13
April 2, 2024 17:47 2m 14s dev/add-xilinx-uboot
April 2, 2024 17:47 2m 14s
feat: add U-Boot drv for zynq-zc702
Nix #35: Pull request #7 synchronize by wucke13
April 2, 2024 17:39 2m 11s dev/add-xilinx-uboot
April 2, 2024 17:39 2m 11s
feat: add U-Boot drv for zynq-zc702
Nix #34: Pull request #7 synchronize by wucke13
April 2, 2024 17:28 2m 12s dev/add-xilinx-uboot
April 2, 2024 17:28 2m 12s
feat: add U-Boot drv for zynq-zc702
Nix #33: Pull request #7 synchronize by wucke13
April 2, 2024 16:36 31m 10s dev/add-xilinx-uboot
April 2, 2024 16:36 31m 10s
feat: add U-Boot drv for zynq-zc702
Nix #32: Pull request #7 synchronize by wucke13
April 2, 2024 16:20 2m 11s dev/add-xilinx-uboot
April 2, 2024 16:20 2m 11s
feat: add U-Boot drv for zynq-zc702
Nix #31: Pull request #7 opened by wucke13
April 2, 2024 15:36 2m 29s dev/add-xilinx-uboot
April 2, 2024 15:36 2m 29s
Merge pull request #6 from DLR-FT/dev/qol-update
Nix #30: Commit 97ac232 pushed by wucke13
March 27, 2024 18:36 2m 23s main
March 27, 2024 18:36 2m 23s
feat: add capDL-tool pkg
Nix #29: Pull request #6 synchronize by wucke13
March 27, 2024 11:11 2m 19s dev/qol-update
March 27, 2024 11:11 2m 19s
feat: add capDL-tool pkg
Nix #28: Pull request #6 synchronize by wucke13
March 27, 2024 11:01 2m 7s dev/qol-update
March 27, 2024 11:01 2m 7s
feat: add capDL-tool pkg
Nix #27: Pull request #6 synchronize by wucke13
March 27, 2024 10:59 2m 9s dev/qol-update
March 27, 2024 10:59 2m 9s
feat: add capDL-tool pkg
Nix #26: Pull request #6 opened by wucke13
March 27, 2024 10:57 2m 16s dev/qol-update
March 27, 2024 10:57 2m 16s
Merge pull request #5 from DLR-FT/dev/qol-update
Nix #25: Commit c586a12 pushed by wucke13
March 26, 2024 13:52 2m 21s main
March 26, 2024 13:52 2m 21s
fix: remove indeterminism from fetchGoogleRepoTool
Nix #24: Pull request #5 opened by wucke13
March 26, 2024 13:49 2m 55s dev/qol-update
March 26, 2024 13:49 2m 55s
Merge pull request #4 from DLR-FT/dev/add-rpi4-variants
Nix #23: Commit ab7c1b1 pushed by wucke13
March 25, 2024 14:00 2m 16s main
March 25, 2024 14:00 2m 16s