Skip to content

Actions: seL4/seL4-CAmkES-L4v-dockerfiles

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
83 workflow runs
83 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

base_tools: add xxd CI #100: Pull request #70 opened by axel-h
February 23, 2024 19:31 24s axel-h:patch-axel-1
axel-h:patch-axel-1
February 23, 2024 19:31 24s
l4v: reduce l4v image size CI #99: Commit e632786 pushed by lsf37
February 12, 2024 09:37 50s master
master
February 12, 2024 09:37 50s
reduce l4v/Isabelle image size CI #98: Pull request #67 synchronize by lsf37
February 12, 2024 04:44 30s isabelle-update
isabelle-update
February 12, 2024 04:44 30s
reduce l4v/Isabelle image size CI #97: Pull request #67 synchronize by lsf37
February 10, 2024 10:32 29s isabelle-update
isabelle-update
February 10, 2024 10:32 29s
reduce l4v/Isabelle image size CI #96: Pull request #67 synchronize by lsf37
February 10, 2024 07:23 30s isabelle-update
isabelle-update
February 10, 2024 07:23 30s
reduce l4v/Isabelle image size CI #95: Pull request #67 opened by lsf37
February 10, 2024 00:41 34s isabelle-update
isabelle-update
February 10, 2024 00:41 34s
github: bump action versions to node20 CI #94: Commit 8a40ff6 pushed by lsf37
February 7, 2024 23:38 8m 11s master
master
February 7, 2024 23:38 8m 11s
github: bump action versions to node20 CI #93: Pull request #66 opened by lsf37
February 7, 2024 04:53 1m 20s githb-node20
githb-node20
February 7, 2024 04:53 1m 20s