Skip to content

Actions: seL4/camkes-tool

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
68 workflow runs
68 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

github: bump actions to node20 CI #425: Pull request #142 opened by lsf37
February 7, 2024 03:14 49s gh-node20
gh-node20
February 7, 2024 03:14 49s
remove obsolete LICENSE_BSD2.txt file CI #424: Pull request #141 opened by lsf37
February 7, 2024 03:08 41s cleanup
cleanup
February 7, 2024 03:08 41s
parser: support empty list for DTB selection CI #423: Pull request #129 synchronize by axel-h
February 2, 2024 11:29 26s Hensoldt-Cyber:patch-axel-5
Hensoldt-Cyber:patch-axel-5
February 2, 2024 11:29 26s
libsel4camkes/virtqueue: use const qualifier CI #422: Pull request #137 synchronize by axel-h
February 2, 2024 11:28 27s Hensoldt-Cyber:patch-axel-16
Hensoldt-Cyber:patch-axel-16
February 2, 2024 11:28 27s
python: sanitize number formatting CI #421: Pull request #130 synchronize by axel-h
February 2, 2024 11:28 31s axel-h:patch-axel-4
axel-h:patch-axel-4
February 2, 2024 11:28 31s
templates: fix mismatched type size in simple (#140) CI #420: Commit 11836b1 pushed by lsf37
February 2, 2024 10:02 34s master
master
February 2, 2024 10:02 34s
templates: fix mismatched type size in simple CI #419: Pull request #140 synchronize by colorglass
February 1, 2024 08:56 25s colorglass:master
colorglass:master
February 1, 2024 08:56 25s
python: sanitize number formatting CI #417: Pull request #130 synchronize by axel-h
January 29, 2024 22:40 27s axel-h:patch-axel-4
axel-h:patch-axel-4
January 29, 2024 22:40 27s
parser: support empty list for DTB selection CI #416: Pull request #129 synchronize by axel-h
January 29, 2024 22:36 32s Hensoldt-Cyber:patch-axel-5
Hensoldt-Cyber:patch-axel-5
January 29, 2024 22:36 32s
libsel4camkes/virtqueue: use const qualifier CI #415: Pull request #137 synchronize by axel-h
January 29, 2024 22:36 29s Hensoldt-Cyber:patch-axel-16
Hensoldt-Cyber:patch-axel-16
January 29, 2024 22:36 29s
templates: fix mismatched type size in simple CI #414: Pull request #140 synchronize by colorglass
January 29, 2024 06:56 27s colorglass:master
colorglass:master
January 29, 2024 06:56 27s
templates: fix mismatched type size in simple CI #413: Pull request #140 opened by colorglass
January 29, 2024 06:00 30s colorglass:master
colorglass:master
January 29, 2024 06:00 30s
github: bump GitHub action versions CI #412: Commit 89af719 pushed by lsf37
October 26, 2023 03:20 1m 43s master
master
October 26, 2023 03:20 1m 43s
github: bump GitHub action versions CI #411: Pull request #138 opened by lsf37
October 25, 2023 21:53 8m 45s gh-node16
gh-node16
October 25, 2023 21:53 8m 45s
smc_cap: Simplify camkes_get_smc_cap generation CI #410: Commit add3915 pushed by kent-mcleod
August 29, 2023 12:53 42s master
master
August 29, 2023 12:53 42s
SMC Capability CI #409: Pull request #99 synchronize by Furao
August 14, 2023 17:57 48s dornerworks:smc_cap
dornerworks:smc_cap
August 14, 2023 17:57 48s
SMC Capability CI #408: Pull request #99 synchronize by Furao
August 14, 2023 15:00 42s dornerworks:smc_cap
dornerworks:smc_cap
August 14, 2023 15:00 42s
python: sanitize number formatting CI #407: Pull request #130 synchronize by axel-h
August 13, 2023 17:27 37s axel-h:patch-axel-4
axel-h:patch-axel-4
August 13, 2023 17:27 37s