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

chore(microkit): update 1.4.0 -> 1.4.1 Nix #123: Commit e6c03d0 pushed by wucke13
August 19, 2024 11:50 4m 33s main
main
August 19, 2024 11:50 4m 33s
chore(microkit): update 1.4.0 -> 1.4.1 Nix #122: Pull request #24 opened by wucke13
August 19, 2024 08:49 1h 55m 12s dev/update-microkit
dev/update-microkit
August 19, 2024 08:49 1h 55m 12s
fix: xlnx-uboot compilation after nixpkgs update Nix #121: Commit 85f2434 pushed by wucke13
August 14, 2024 15:56 4m 29s main
main
August 14, 2024 15:56 4m 29s
upgade to new microkit-sdk, remove microkit-sdk-bin Nix #120: Pull request #23 synchronize by wucke13
August 14, 2024 14:57 32m 30s dev/upgade-to-new-microkit
dev/upgade-to-new-microkit
August 14, 2024 14:57 32m 30s
upgade to new microkit-sdk, remove microkit-sdk-bin Nix #119: Pull request #23 synchronize by wucke13
August 14, 2024 13:50 2h 0m 3s dev/upgade-to-new-microkit
dev/upgade-to-new-microkit
August 14, 2024 13:50 2h 0m 3s
upgade to new microkit-sdk, remove microkit-sdk-bin Nix #118: Pull request #23 synchronize by wucke13
August 14, 2024 12:53 58m 16s dev/upgade-to-new-microkit
dev/upgade-to-new-microkit
August 14, 2024 12:53 58m 16s
upgade to new microkit-sdk, remove microkit-sdk-bin Nix #117: Pull request #23 synchronize by wucke13
August 14, 2024 12:29 1h 21m 4s dev/upgade-to-new-microkit
dev/upgade-to-new-microkit
August 14, 2024 12:29 1h 21m 4s
upgade to new microkit-sdk, remove microkit-sdk-bin Nix #116: Pull request #23 synchronize by wucke13
August 14, 2024 12:22 1h 26m 27s dev/upgade-to-new-microkit
dev/upgade-to-new-microkit
August 14, 2024 12:22 1h 26m 27s
upgade to new microkit-sdk, remove microkit-sdk-bin Nix #115: Pull request #23 opened by wucke13
August 14, 2024 11:48 1h 59m 57s dev/upgade-to-new-microkit
dev/upgade-to-new-microkit
August 14, 2024 11:48 1h 59m 57s
chore: consolidate nixpkgs imports Nix #114: Commit 47e903f pushed by wucke13
August 13, 2024 17:08 4m 24s main
main
August 13, 2024 17:08 4m 24s
consolidate nixpkgs imports Nix #113: Pull request #21 synchronize by wucke13
August 13, 2024 15:45 40m 21s dev/consolidate-nixpkgs-imports
dev/consolidate-nixpkgs-imports
August 13, 2024 15:45 40m 21s
consolidate nixpkgs imports Nix #112: Pull request #21 synchronize by wucke13
August 13, 2024 15:28 48m 13s dev/consolidate-nixpkgs-imports
dev/consolidate-nixpkgs-imports
August 13, 2024 15:28 48m 13s
fix: hash of seL4test src Nix #111: Commit 611919e pushed by wucke13
August 13, 2024 15:16 4m 35s main
main
August 13, 2024 15:16 4m 35s
improve repo fetcher, fix hash Nix #110: Pull request #22 opened by wucke13
August 13, 2024 12:54 1h 59m 1s dev/improve-repo-fetcher
dev/improve-repo-fetcher
August 13, 2024 12:54 1h 59m 1s
consolidate nixpkgs imports Nix #109: Pull request #21 synchronize by wucke13
July 8, 2024 22:18 4m 22s dev/consolidate-nixpkgs-imports
dev/consolidate-nixpkgs-imports
July 8, 2024 22:18 4m 22s
consolidate nixpkgs imports Nix #108: Pull request #21 opened by wucke13
July 8, 2024 22:00 42s dev/consolidate-nixpkgs-imports
dev/consolidate-nixpkgs-imports
July 8, 2024 22:00 42s
chore: update seL4-camkes-vm-examples to 3.11.0 Nix #107: Commit 506a00c pushed by wucke13
July 8, 2024 20:54 1h 56m 13s main
main
July 8, 2024 20:54 1h 56m 13s
chore: update seL4-test to 13.0.0 Nix #106: Commit 778b611 pushed by wucke13
July 8, 2024 20:45 4m 16s main
main
July 8, 2024 20:45 4m 16s
Dev/se l4 13.0.0 release Nix #105: Pull request #20 synchronize by wucke13
July 8, 2024 20:39 6m 8s dev/seL4-13.0.0-release
dev/seL4-13.0.0-release
July 8, 2024 20:39 6m 8s
chore: update seL4-kernel to 13.0.0 Nix #104: Commit 110ccf7 pushed by wucke13
July 8, 2024 20:38 6m 10s main
main
July 8, 2024 20:38 6m 10s
Dev/se l4 13.0.0 release Nix #103: Pull request #20 opened by wucke13
July 8, 2024 20:38 6m 11s dev/seL4-13.0.0-release
dev/seL4-13.0.0-release
July 8, 2024 20:38 6m 11s
chore: update seL4-kerne to 13.0.0 Nix #102: Commit 599b404 pushed by wucke13
July 8, 2024 14:55 4m 26s main
main
July 8, 2024 14:55 4m 26s
chore: update seL4-kerne to 13.0.0 Nix #101: Pull request #19 opened by wucke13
July 8, 2024 11:10 42m 44s dev/seL4-13.0.0-release
dev/seL4-13.0.0-release
July 8, 2024 11:10 42m 44s
add zynqmp pmufw, update flake.lock, a bunch of stuff really Nix #100: Pull request #14 synchronize by wucke13
July 2, 2024 16:41 1h 56m 9s dev/add-camkes-vmm-example
dev/add-camkes-vmm-example
July 2, 2024 16:41 1h 56m 9s
refactor: consolidate & export crossPkgs import Nix #99: Commit 701ffdb pushed by wucke13
July 2, 2024 15:25 12m 18s main
main
July 2, 2024 15:25 12m 18s