Skip to content

Actions: seL4/microkit

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
596 workflow runs
596 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Load invocation numbers from JSON file CI #636: Pull request #225 synchronize by alwin-joshy
October 7, 2024 23:54 19s alwin-joshy:gdb_rust
alwin-joshy:gdb_rust
October 7, 2024 23:54 19s
Load invocation numbers from JSON file CI #635: Pull request #225 synchronize by alwin-joshy
October 7, 2024 23:51 23s alwin-joshy:gdb_rust
alwin-joshy:gdb_rust
October 7, 2024 23:51 23s
Load invocation numbers from JSON file CI #634: Pull request #225 opened by alwin-joshy
October 7, 2024 23:49 31s alwin-joshy:gdb_rust
alwin-joshy:gdb_rust
October 7, 2024 23:49 31s
Increase max PD name length to 64 CI #633: Commit b8cf309 pushed by Ivan-Velickovic
October 5, 2024 02:39 22s main
main
October 5, 2024 02:39 22s
Increase max PD name length to 64 CI #632: Pull request #224 synchronize by Ivan-Velickovic
October 5, 2024 02:07 28s increase_name_length
increase_name_length
October 5, 2024 02:07 28s
Increase max PD name length to 64 CI #631: Pull request #224 opened by Ivan-Velickovic
October 5, 2024 02:05 35s increase_name_length
increase_name_length
October 5, 2024 02:05 35s
Use rust-lld for linking tool on Linux AArch64 CI #630: Commit 4c30a38 pushed by Ivan-Velickovic
October 3, 2024 09:43 24s main
main
October 3, 2024 09:43 24s
Use rust-lld for linking tool on Linux AArch64 CI #629: Pull request #223 opened by Ivan-Velickovic
October 3, 2024 09:32 27s linux_aarch64_fix_again
linux_aarch64_fix_again
October 3, 2024 09:32 27s
Fix linking of tool on Linux AArch64 CI #628: Commit 7e72f0b pushed by Ivan-Velickovic
October 2, 2024 03:37 23s main
main
October 2, 2024 03:37 23s
Fix linking of tool on Linux AArch64 CI #627: Pull request #222 opened by Ivan-Velickovic
October 2, 2024 03:30 23s linux_aarch64_fix
linux_aarch64_fix
October 2, 2024 03:30 23s
Enable building SDK for Linux AArch64 CI #626: Commit 361ccd1 pushed by Ivan-Velickovic
October 2, 2024 02:36 35s main
main
October 2, 2024 02:36 35s
Enable building SDK for Linux AArch64 CI #625: Pull request #221 synchronize by Ivan-Velickovic
October 2, 2024 02:08 22s linux_aarch64
linux_aarch64
October 2, 2024 02:08 22s
Enable building SDK for Linux AArch64 CI #624: Pull request #221 synchronize by Ivan-Velickovic
October 2, 2024 02:02 24s linux_aarch64
linux_aarch64
October 2, 2024 02:02 24s
Enable building SDK for Linux AArch64 CI #623: Pull request #221 synchronize by Ivan-Velickovic
October 2, 2024 02:00 21s linux_aarch64
linux_aarch64
October 2, 2024 02:00 21s
Enable building SDK for Linux AArch64 CI #622: Pull request #221 synchronize by Ivan-Velickovic
October 2, 2024 01:51 28s linux_aarch64
linux_aarch64
October 2, 2024 01:51 28s
Enable building SDK for Linux AArch64 CI #621: Pull request #221 synchronize by Ivan-Velickovic
October 2, 2024 01:51 20s linux_aarch64
linux_aarch64
October 2, 2024 01:51 20s
Enable building SDK for Linux AArch64 CI #620: Pull request #221 synchronize by Ivan-Velickovic
October 2, 2024 01:49 29s linux_aarch64
linux_aarch64
October 2, 2024 01:49 29s
Enable building SDK for Linux AArch64 CI #619: Pull request #221 synchronize by Ivan-Velickovic
October 2, 2024 01:45 31s linux_aarch64
linux_aarch64
October 2, 2024 01:45 31s
Enable building SDK for Linux AArch64 CI #618: Pull request #221 synchronize by Ivan-Velickovic
October 2, 2024 01:45 21s linux_aarch64
linux_aarch64
October 2, 2024 01:45 21s
Enable building SDK for Linux AArch64 CI #617: Pull request #221 opened by Ivan-Velickovic
October 2, 2024 01:43 27s linux_aarch64
linux_aarch64
October 2, 2024 01:43 27s
aarch64: make the microkit loader relocatable CI #616: Pull request #220 synchronize by alwin-joshy
September 20, 2024 06:24 31s alwin-joshy:relocatable
alwin-joshy:relocatable
September 20, 2024 06:24 31s
aarch64: make the microkit loader relocatable CI #615: Pull request #220 opened by alwin-joshy
September 20, 2024 06:22 31s alwin-joshy:relocatable
alwin-joshy:relocatable
September 20, 2024 06:22 31s
Add support for split program images CI #614: Pull request #164 synchronize by nspin
September 18, 2024 22:29 34s nspin:pr/split-program-image
nspin:pr/split-program-image
September 18, 2024 22:29 34s
Add support for split program images CI #613: Pull request #164 synchronize by nspin
September 18, 2024 22:26 27s nspin:pr/split-program-image
nspin:pr/split-program-image
September 18, 2024 22:26 27s
Add support for domain scheduling CI #612: Pull request #175 synchronize by JE-Archer
September 13, 2024 04:41 1h 51m 51s JE-Archer:domains
JE-Archer:domains
September 13, 2024 04:41 1h 51m 51s