Skip to content

Actions: seL4/whitepaper

Actions

License

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
license.yaml
12 workflow runs
12 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
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 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 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 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 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 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
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