Skip to content

Actions: seL4/seL4-CAmkES-L4v-dockerfiles

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
354 workflow runs
354 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

reduce l4v/Isabelle image size Lint Code Base #107: Pull request #67 synchronize by lsf37
February 10, 2024 10:32 1m 14s isabelle-update
isabelle-update
February 10, 2024 10:32 1m 14s
reduce l4v/Isabelle image size PR #71: Pull request #67 synchronize by lsf37
February 10, 2024 10:32 23s isabelle-update
isabelle-update
February 10, 2024 10:32 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 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 PR #70: Pull request #67 synchronize by lsf37
February 10, 2024 07:23 24s isabelle-update
isabelle-update
February 10, 2024 07:23 24s
reduce l4v/Isabelle image size Lint Code Base #106: Pull request #67 synchronize by lsf37
February 10, 2024 07:23 1m 15s isabelle-update
isabelle-update
February 10, 2024 07:23 1m 15s
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
reduce l4v/Isabelle image size Lint Code Base #105: Pull request #67 opened by lsf37
February 10, 2024 00:41 1m 19s isabelle-update
isabelle-update
February 10, 2024 00:41 1m 19s
reduce l4v/Isabelle image size PR #69: Pull request #67 opened by lsf37
February 10, 2024 00:41 33s isabelle-update
isabelle-update
February 10, 2024 00:41 33s
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
Deploy Deploy #88: Scheduled
February 8, 2024 17:07 50s master
master
February 8, 2024 17:07 50s
github: bump action versions to node20 Deploy #87: Commit 8a40ff6 pushed by lsf37
February 7, 2024 23:38 1h 8m 42s master
master
February 7, 2024 23:38 1h 8m 42s
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 PR #68: Pull request #66 opened by lsf37
February 7, 2024 04:53 23s githb-node20
githb-node20
February 7, 2024 04:53 23s
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
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
github: bump action versions to node20 Lint Code Base #104: Pull request #66 opened by lsf37
February 7, 2024 04:53 1m 15s githb-node20
githb-node20
February 7, 2024 04:53 1m 15s
Deploy Deploy #86: Scheduled
February 1, 2024 17:06 55m 22s master
master
February 1, 2024 17:06 55m 22s
Deploy Deploy #85: Scheduled
January 25, 2024 17:06 2h 30m 52s master
master
January 25, 2024 17:06 2h 30m 52s
Deploy Deploy #84: Scheduled
December 28, 2023 17:06 2h 41m 11s master
master
December 28, 2023 17:06 2h 41m 11s
Deploy Deploy #83: Scheduled
December 21, 2023 17:06 1h 23m 23s master
master
December 21, 2023 17:06 1h 23m 23s
Deploy Deploy #82: Scheduled
December 14, 2023 17:06 45m 38s master
master
December 14, 2023 17:06 45m 38s
Deploy Deploy #81: Scheduled
December 7, 2023 17:06 2h 32m 17s master
master
December 7, 2023 17:06 2h 32m 17s
Deploy Deploy #80: Scheduled
November 30, 2023 17:06 1h 47m 3s master
master
November 30, 2023 17:06 1h 47m 3s
ProTip! You can narrow down the results and go further in time using created:<2023-11-30 or the other filters available.