Skip to content

Actions: seL4/whitepaper

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
20 workflow runs
20 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update release date License #39: Commit ec39170 pushed by gernotheiser
January 8, 2025 11:28 32s master
master
January 8, 2025 11:28 32s
Update release date build PDF #46: Commit ec39170 pushed by gernotheiser
January 8, 2025 11:28 4m 55s master
master
January 8, 2025 11:28 4m 55s
V1.4, fixes & intro ukit License #38: Pull request #7 synchronize by gernotheiser
January 8, 2025 05:12 21s wp_1_4
wp_1_4
January 8, 2025 05:12 21s
V1.4, fixes & intro ukit build PDF #45: Pull request #7 synchronize by gernotheiser
January 8, 2025 05:12 2m 57s wp_1_4
wp_1_4
January 8, 2025 05:12 2m 57s
V1.4, fixes & intro ukit build PDF #44: Pull request #7 synchronize by Ivan-Velickovic
January 8, 2025 05:05 2m 13s wp_1_4
wp_1_4
January 8, 2025 05:05 2m 13s
V1.4, fixes & intro ukit License #37: Pull request #7 synchronize by Ivan-Velickovic
January 8, 2025 05:05 18s wp_1_4
wp_1_4
January 8, 2025 05:05 18s
V1.4, fixes & intro ukit License #36: Pull request #7 synchronize by gernotheiser
January 7, 2025 01:26 24s wp_1_4
wp_1_4
January 7, 2025 01:26 24s
V1.4, fixes & intro ukit build PDF #43: Pull request #7 synchronize by gernotheiser
January 7, 2025 01:26 2m 19s wp_1_4
wp_1_4
January 7, 2025 01:26 2m 19s
V1.4, fixes & intro ukit build PDF #42: Pull request #7 synchronize by gernotheiser
January 7, 2025 00:09 2m 22s wp_1_4
wp_1_4
January 7, 2025 00:09 2m 22s
V1.4, fixes & intro ukit License #35: Pull request #7 synchronize by gernotheiser
January 7, 2025 00:09 21s wp_1_4
wp_1_4
January 7, 2025 00:09 21s
V1.4, fixes & intro ukit License #34: Pull request #7 synchronize by gernotheiser
December 31, 2024 06:28 22s wp_1_4
wp_1_4
December 31, 2024 06:28 22s
V1.4, fixes & intro ukit build PDF #41: Pull request #7 synchronize by gernotheiser
December 31, 2024 06:28 2m 56s wp_1_4
wp_1_4
December 31, 2024 06:28 2m 56s
V1.4, fixes & intro ukit License #33: Pull request #7 synchronize by gernotheiser
December 31, 2024 05:13 22s wp_1_4
wp_1_4
December 31, 2024 05:13 22s
V1.4, fixes & intro ukit build PDF #40: Pull request #7 synchronize by gernotheiser
December 31, 2024 05:13 2m 17s wp_1_4
wp_1_4
December 31, 2024 05:13 2m 17s
V1.4, fixes & intro ukit build PDF #39: Pull request #7 synchronize by gernotheiser
December 31, 2024 04:56 2m 50s wp_1_4
wp_1_4
December 31, 2024 04:56 2m 50s
V1.4, fixes & intro ukit License #32: Pull request #7 synchronize by gernotheiser
December 31, 2024 04:56 27s wp_1_4
wp_1_4
December 31, 2024 04:56 27s
V1.4, fixes & intro ukit License #31: Pull request #7 synchronize by gernotheiser
December 30, 2024 22:29 22s wp_1_4
wp_1_4
December 30, 2024 22:29 22s
V1.4, fixes & intro ukit build PDF #38: Pull request #7 synchronize by gernotheiser
December 30, 2024 22:29 2m 20s wp_1_4
wp_1_4
December 30, 2024 22:29 2m 20s
V1.4, fixes & intro ukit License #30: Pull request #7 opened by gernotheiser
December 30, 2024 11:37 24s wp_1_4
wp_1_4
December 30, 2024 11:37 24s
V1.4, fixes & intro ukit build PDF #37: Pull request #7 opened by gernotheiser
December 30, 2024 11:37 2m 8s wp_1_4
wp_1_4
December 30, 2024 11:37 2m 8s