Skip to content

Actions: seL4/seL4-CAmkES-L4v-dockerfiles

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
346 workflow runs
346 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

camkes: re-add lib32stdc++-10-dev
PR #123: Pull request #85 synchronize by lsf37
July 11, 2024 01:07 25s lib32stdc
July 11, 2024 01:07 25s
camkes: re-add lib32stdc++-10-dev
Build #107: Pull request #85 synchronize by lsf37
July 11, 2024 01:07 1h 36m 7s lib32stdc
July 11, 2024 01:07 1h 36m 7s
camkes: re-add lib32stdc++-10-dev
CI #164: Pull request #85 synchronize by lsf37
July 11, 2024 01:07 29s lib32stdc
July 11, 2024 01:07 29s
Deploy
Deploy #124: Scheduled
July 4, 2024 17:07 1d 1h 36m 23s master
July 4, 2024 17:07 1d 1h 36m 23s
Deploy
Deploy #123: Scheduled
June 27, 2024 17:07 55m 43s master
June 27, 2024 17:07 55m 43s
Deploy
Deploy #122: Scheduled
June 20, 2024 17:06 1h 0m 35s master
June 20, 2024 17:06 1h 0m 35s
Deploy
Deploy #121: Scheduled
June 13, 2024 17:06 56m 36s master
June 13, 2024 17:06 56m 36s
camkes: re-add lib32stdc++-10-dev
PR #122: Pull request #85 opened by lsf37
June 13, 2024 05:52 21s lib32stdc
June 13, 2024 05:52 21s
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
camkes: re-add lib32stdc++-10-dev
CI #163: Pull request #85 opened by lsf37
June 13, 2024 05:52 31s lib32stdc
June 13, 2024 05:52 31s
camkes: re-add lib32stdc++-10-dev
Build #106: Pull request #85 opened by lsf37
June 13, 2024 05:52 1h 0m 24s lib32stdc
June 13, 2024 05:52 1h 0m 24s
Deploy
Deploy #120: Scheduled
June 6, 2024 17:07 1h 2m 28s master
June 6, 2024 17:07 1h 2m 28s
Deploy
Deploy #119: Scheduled
May 30, 2024 17:06 1h 3m 29s master
May 30, 2024 17:06 1h 3m 29s
Deploy
Deploy #118: Scheduled
May 23, 2024 17:07 16m 8s master
May 23, 2024 17:07 16m 8s
user.sh: put env settings in /etc/bash.bashrc
Deploy #117: Commit cb742b5 pushed by lsf37
May 22, 2024 05:53 1h 5m 35s master
May 22, 2024 05:53 1h 5m 35s
user.sh: put env settings in /etc/bash.bashrc
CI #162: Commit cb742b5 pushed by lsf37
May 22, 2024 05:53 29s master
May 22, 2024 05:53 29s
user.sh: put env settings in /etc/bash.bashrc
PR #121: Pull request #83 opened by lsf37
May 22, 2024 04:24 34s path
May 22, 2024 04:24 34s
user.sh: put env settings in /etc/bash.bashrc
Build #105: Pull request #83 opened by lsf37
May 22, 2024 04:24 54m 15s path
May 22, 2024 04:24 54m 15s
user.sh: put env settings in /etc/bash.bashrc
CI #161: Pull request #83 opened by lsf37
May 22, 2024 04:24 27s path
May 22, 2024 04:24 27s
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
github: use docker/login-action to authenticate
Deploy #116: Commit 361e0e2 pushed by lsf37
May 18, 2024 07:42 56m 31s master
May 18, 2024 07:42 56m 31s
github: use docker/login-action to authenticate
CI #160: Commit 361e0e2 pushed by lsf37
May 18, 2024 07:42 26s master
May 18, 2024 07:42 26s
Deploy
Deploy #115: Scheduled
May 16, 2024 17:06 6h 1m 11s master
May 16, 2024 17:06 6h 1m 11s
github: fix another typo in multi-arch job
CI #159: Commit b71572a pushed by lsf37
May 15, 2024 04:57 27s master
May 15, 2024 04:57 27s
github: fix another typo in multi-arch job
Deploy #114: Commit b71572a pushed by lsf37
May 15, 2024 04:57 1h 2m 14s master
May 15, 2024 04:57 1h 2m 14s