Skip to content

Actions: seL4/seL4-CAmkES-L4v-dockerfiles

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker-build.yml
64 workflow runs
64 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add AArch64 container variants Build #65: Pull request #65 synchronize by lsf37
May 12, 2024 09:05 14s Ivan-Velickovic:armv8_testing
Ivan-Velickovic:armv8_testing
May 12, 2024 09:05 14s
Add AArch64 container variants Build #64: Pull request #65 synchronize by lsf37
May 12, 2024 08:48 11s Ivan-Velickovic:armv8_testing
Ivan-Velickovic:armv8_testing
May 12, 2024 08:48 11s
Add AArch64 container variants Build #63: Pull request #65 synchronize by lsf37
May 12, 2024 08:34 12s Ivan-Velickovic:armv8_testing
Ivan-Velickovic:armv8_testing
May 12, 2024 08:34 12s
update base snapshot date Build #62: Pull request #75 opened by lsf37
May 12, 2024 06:28 43m 28s upd-snapshot
upd-snapshot
May 12, 2024 06:28 43m 28s
docker: use -slim base image for debian Build #61: Pull request #71 synchronize by lsf37
March 24, 2024 11:56 39m 35s slim
slim
March 24, 2024 11:56 39m 35s
docker: use -slim base image for debian Build #60: Pull request #71 synchronize by lsf37
March 24, 2024 11:35 1m 56s slim
slim
March 24, 2024 11:35 1m 56s
docker: use -slim base image for debian Build #59: Pull request #71 synchronize by lsf37
March 24, 2024 11:03 32m 44s slim
slim
March 24, 2024 11:03 32m 44s
docker: use -slim base image for debian Build #58: Pull request #71 opened by lsf37
March 16, 2024 12:41 44m 4s slim
slim
March 16, 2024 12:41 44m 4s
base_tools: add xxd Build #57: Pull request #70 opened by axel-h
February 23, 2024 19:31 1h 31m 27s axel-h:patch-axel-1
axel-h:patch-axel-1
February 23, 2024 19:31 1h 31m 27s
reduce l4v/Isabelle image size Build #56: Pull request #67 synchronize by lsf37
February 12, 2024 04:44 2h 52m 23s isabelle-update
isabelle-update
February 12, 2024 04:44 2h 52m 23s
reduce l4v/Isabelle image size Build #55: Pull request #67 synchronize by lsf37
February 10, 2024 10:32 2h 1m 16s isabelle-update
isabelle-update
February 10, 2024 10:32 2h 1m 16s
reduce l4v/Isabelle image size Build #54: Pull request #67 synchronize by lsf37
February 10, 2024 07:23 1h 38m 52s isabelle-update
isabelle-update
February 10, 2024 07:23 1h 38m 52s
reduce l4v/Isabelle image size Build #53: Pull request #67 opened by lsf37
February 10, 2024 00:41 1h 44m 17s isabelle-update
isabelle-update
February 10, 2024 00:41 1h 44m 17s
github: bump action versions to node20 Build #52: Pull request #66 opened by lsf37
February 7, 2024 04:53 1h 23m 52s githb-node20
githb-node20
February 7, 2024 04:53 1h 23m 52s