Skip to content

Actions: seL4/whitepaper

Actions

build PDF

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 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 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 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 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
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: 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