Skip to content

Actions: seL4/seL4-CAmkES-L4v-dockerfiles

Lint Code Base

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
62 workflow runs
62 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

switch back to clang-11
Lint Code Base #165: Pull request #89 opened by lsf37
October 12, 2024 06:46 1m 9s clang-11
October 12, 2024 06:46 1m 9s
Switch to clang-12 as minimum version
Lint Code Base #164: Pull request #88 opened by lsf37
October 9, 2024 06:23 1m 13s clang-12
October 9, 2024 06:23 1m 13s
remove Debian snapshots as default
Lint Code Base #163: Pull request #87 synchronize by lsf37
July 23, 2024 01:49 1m 8s no-snapshot
July 23, 2024 01:49 1m 8s
remove Debian snapshots as default
Lint Code Base #162: Pull request #87 opened by lsf37
July 22, 2024 23:38 1m 45s no-snapshot
July 22, 2024 23:38 1m 45s
github: send repository-dispatch after deployment
Lint Code Base #161: Pull request #86 opened by lsf37
July 11, 2024 03:43 1m 14s dispatch
July 11, 2024 03:43 1m 14s
camkes: re-add lib32stdc++-10-dev
Lint Code Base #160: Pull request #85 synchronize by lsf37
July 11, 2024 02:43 1m 12s lib32stdc
July 11, 2024 02:43 1m 12s
camkes: re-add lib32stdc++-10-dev
Lint Code Base #159: Pull request #85 synchronize by lsf37
July 11, 2024 01:07 1m 11s lib32stdc
July 11, 2024 01:07 1m 11s
camkes: re-add lib32stdc++-10-dev
Lint Code Base #158: Pull request #85 opened by lsf37
June 13, 2024 05:52 1m 13s lib32stdc
June 13, 2024 05:52 1m 13s
user.sh: put env settings in /etc/bash.bashrc
Lint Code Base #157: Pull request #83 opened by lsf37
May 22, 2024 04:24 1m 15s path
May 22, 2024 04:24 1m 15s
README: instructions for "no space left on device"
Lint Code Base #156: Pull request #82 opened by lsf37
May 14, 2024 23:05 1m 15s no-space
May 14, 2024 23:05 1m 15s
multi-arch: prune old images, fix typo
Lint Code Base #155: Pull request #81 synchronize by lsf37
May 14, 2024 22:33 1m 18s buildx-fix
May 14, 2024 22:33 1m 18s
multi-arch: prune old images, fix typo
Lint Code Base #154: Pull request #81 opened by lsf37
May 14, 2024 22:00 1m 20s buildx-fix
May 14, 2024 22:00 1m 20s
github: buildx imagetools for multi-arch images
Lint Code Base #153: Pull request #80 opened by lsf37
May 14, 2024 07:50 1m 16s buildx
May 14, 2024 07:50 1m 16s
github: authenticate earlier for Mac deployment
Lint Code Base #152: Pull request #79 synchronize by lsf37
May 14, 2024 05:38 1m 16s unlock-keychain
May 14, 2024 05:38 1m 16s
github: authenticate earlier for Mac deployment
Lint Code Base #151: Pull request #79 opened by lsf37
May 14, 2024 05:34 1m 18s unlock-keychain
May 14, 2024 05:34 1m 18s
github: fix missing arch tags in deployment
Lint Code Base #150: Pull request #78 synchronize by lsf37
May 14, 2024 03:49 1m 21s multiarch-deploy
May 14, 2024 03:49 1m 21s
github: fix missing arch tags in deployment
Lint Code Base #149: Pull request #78 opened by lsf37
May 14, 2024 03:46 1m 17s multiarch-deploy
May 14, 2024 03:46 1m 17s
Makefile: revert localtime mapping removal
Lint Code Base #148: Pull request #77 opened by lsf37
May 14, 2024 03:43 1m 16s timezone
May 14, 2024 03:43 1m 16s
github: build and deploy multi-arch images
Lint Code Base #147: Pull request #76 opened by lsf37
May 14, 2024 02:37 1m 19s tagging
May 14, 2024 02:37 1m 19s
Add AArch64 container variants
Lint Code Base #146: Pull request #65 synchronize by lsf37
May 14, 2024 01:31 1m 20s Ivan-Velickovic:armv8_testing
May 14, 2024 01:31 1m 20s
Add AArch64 container variants
Lint Code Base #145: Pull request #65 synchronize by lsf37
May 14, 2024 00:47 1m 19s Ivan-Velickovic:armv8_testing
May 14, 2024 00:47 1m 19s
Add AArch64 container variants
Lint Code Base #144: Pull request #65 synchronize by lsf37
May 13, 2024 09:33 1m 26s Ivan-Velickovic:armv8_testing
May 13, 2024 09:33 1m 26s
Add AArch64 container variants
Lint Code Base #143: Pull request #65 synchronize by lsf37
May 13, 2024 08:14 1m 25s Ivan-Velickovic:armv8_testing
May 13, 2024 08:14 1m 25s
Add AArch64 container variants
Lint Code Base #142: Pull request #65 synchronize by lsf37
May 13, 2024 06:13 1m 22s Ivan-Velickovic:armv8_testing
May 13, 2024 06:13 1m 22s
Add AArch64 container variants
Lint Code Base #141: Pull request #65 synchronize by lsf37
May 13, 2024 03:15 1m 23s Ivan-Velickovic:armv8_testing
May 13, 2024 03:15 1m 23s