Skip to content

Actions: seL4/whitepaper

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
19 workflow runs
19 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Fix paper URLs build PDF #36: Commit 9fefcc9 pushed by gernotheiser
May 7, 2024 13:27 1m 42s master
master
May 7, 2024 13:27 1m 42s
Fix paper URLs License #29: Commit 9fefcc9 pushed by gernotheiser
May 7, 2024 13:27 25s master
master
May 7, 2024 13:27 25s
Makefile: remaining hg mentions -> git License #28: Commit 0b6d1c3 pushed by lsf37
March 24, 2024 10:43 23s master
master
March 24, 2024 10:43 23s
Makefile: remaining hg mentions -> git build PDF #35: Commit 0b6d1c3 pushed by lsf37
March 24, 2024 10:43 1m 39s master
master
March 24, 2024 10:43 1m 39s
build PDF build PDF #34: Manually run by lsf37
March 24, 2024 10:34 1m 42s master
master
March 24, 2024 10:34 1m 42s
github: use central license check action build PDF #33: Commit 3b6fa5e pushed by lsf37
October 26, 2023 04:19 48s master
master
October 26, 2023 04:19 48s
github: use central license check action License #27: Commit 3b6fa5e pushed by lsf37
October 26, 2023 04:19 18s master
master
October 26, 2023 04:19 18s
github: bump GitHub action versions License #26: Commit 4cbab82 pushed by lsf37
October 26, 2023 04:09 13s master
master
October 26, 2023 04:09 13s
github: bump GitHub action versions build PDF #32: Commit 4cbab82 pushed by lsf37
October 26, 2023 04:09 2m 18s master
master
October 26, 2023 04:09 2m 18s