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

feat: add proofs as package Nix #133: Pull request #29 synchronize by wucke13
October 16, 2024 00:16 3m 29s dev/be-sure
dev/be-sure
October 16, 2024 00:16 3m 29s
feat: add proofs as package Nix #132: Pull request #29 synchronize by wucke13
October 14, 2024 21:56 2m 57s dev/be-sure
dev/be-sure
October 14, 2024 21:56 2m 57s
feat: add proofs as package Nix #131: Pull request #29 synchronize by wucke13
October 14, 2024 21:44 2m 58s dev/be-sure
dev/be-sure
October 14, 2024 21:44 2m 58s
feat: add proofs as package Nix #130: Pull request #29 opened by wucke13
October 14, 2024 21:35 2m 46s dev/be-sure
dev/be-sure
October 14, 2024 21:35 2m 46s
refactor(treefmt): convert treefmt{.toml,nix} Nix #129: Commit 0edacaf pushed by wucke13
October 14, 2024 00:08 2m 55s main
main
October 14, 2024 00:08 2m 55s
small QoL improvements Nix #128: Pull request #27 synchronize by wucke13
October 13, 2024 23:56 2m 49s dev/add-darwin
dev/add-darwin
October 13, 2024 23:56 2m 49s
small QoL improvements Nix #127: Pull request #27 synchronize by wucke13
October 13, 2024 23:00 4m 23s dev/add-darwin
dev/add-darwin
October 13, 2024 23:00 4m 23s
small QoL improvements Nix #126: Pull request #27 synchronize by wucke13
October 13, 2024 22:52 3m 37s dev/add-darwin
dev/add-darwin
October 13, 2024 22:52 3m 37s
small QoL improvements Nix #125: Pull request #27 synchronize by wucke13
October 13, 2024 22:49 3m 35s dev/add-darwin
dev/add-darwin
October 13, 2024 22:49 3m 35s
small QoL improvements Nix #124: Pull request #27 opened by wucke13
October 13, 2024 09:51 1h 57m 15s dev/add-darwin
dev/add-darwin
October 13, 2024 09:51 1h 57m 15s
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