Skip to content

Actions: seL4/seL4-CAmkES-L4v-dockerfiles

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
85 workflow runs
85 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improve portability of arch detection in Makefile CI #177: Pull request #90 synchronize by nspin
October 27, 2024 08:20 50s nspin:pr/portable-arch-detection
nspin:pr/portable-arch-detection
October 27, 2024 08:20 50s
Improve portability of arch detection in Makefile CI #176: Pull request #90 opened by nspin
October 27, 2024 08:19 27s nspin:pr/portable-arch-detection
nspin:pr/portable-arch-detection
October 27, 2024 08:19 27s
switch back to clang-11 CI #175: Commit a4d1e54 pushed by lsf37
October 12, 2024 06:49 34s master
master
October 12, 2024 06:49 34s
switch back to clang-11 CI #174: Pull request #89 opened by lsf37
October 12, 2024 06:46 1m 30s clang-11
clang-11
October 12, 2024 06:46 1m 30s
Switch to clang-12 as minimum version CI #173: Commit 2c2131e pushed by lsf37
October 10, 2024 07:53 30s master
master
October 10, 2024 07:53 30s
Switch to clang-12 as minimum version CI #172: Pull request #88 opened by lsf37
October 9, 2024 06:23 31s clang-12
clang-12
October 9, 2024 06:23 31s
README: remove promises for snapshots CI #171: Commit 015a633 pushed by lsf37
July 23, 2024 01:50 28s master
master
July 23, 2024 01:50 28s
remove Debian snapshots as default CI #170: Pull request #87 synchronize by lsf37
July 23, 2024 01:49 30s no-snapshot
no-snapshot
July 23, 2024 01:49 30s
remove Debian snapshots as default CI #169: Pull request #87 opened by lsf37
July 22, 2024 23:38 29s no-snapshot
no-snapshot
July 22, 2024 23:38 29s
camkes: re-add lib32stdc++-10-dev CI #168: Commit 7972500 pushed by lsf37
July 11, 2024 05:16 38s master
master
July 11, 2024 05:16 38s
github: send repository-dispatch after deployment CI #167: Commit 25280e7 pushed by lsf37
July 11, 2024 05:16 26s master
master
July 11, 2024 05:16 26s
github: send repository-dispatch after deployment CI #166: Pull request #86 opened by lsf37
July 11, 2024 03:43 23s dispatch
dispatch
July 11, 2024 03:43 23s
camkes: re-add lib32stdc++-10-dev CI #165: Pull request #85 synchronize by lsf37
July 11, 2024 02:43 33s lib32stdc
lib32stdc
July 11, 2024 02:43 33s
camkes: re-add lib32stdc++-10-dev CI #164: Pull request #85 synchronize by lsf37
July 11, 2024 01:07 29s lib32stdc
lib32stdc
July 11, 2024 01:07 29s
camkes: re-add lib32stdc++-10-dev CI #163: Pull request #85 opened by lsf37
June 13, 2024 05:52 31s lib32stdc
lib32stdc
June 13, 2024 05:52 31s
user.sh: put env settings in /etc/bash.bashrc CI #162: Commit cb742b5 pushed by lsf37
May 22, 2024 05:53 29s master
master
May 22, 2024 05:53 29s
user.sh: put env settings in /etc/bash.bashrc CI #161: Pull request #83 opened by lsf37
May 22, 2024 04:24 27s path
path
May 22, 2024 04:24 27s
github: use docker/login-action to authenticate CI #160: Commit 361e0e2 pushed by lsf37
May 18, 2024 07:42 26s master
master
May 18, 2024 07:42 26s
github: fix another typo in multi-arch job CI #159: Commit b71572a pushed by lsf37
May 15, 2024 04:57 27s master
master
May 15, 2024 04:57 27s
README: instructions for "no space left on device" CI #158: Commit 44a7b9b pushed by Ivan-Velickovic
May 14, 2024 23:22 31s master
master
May 14, 2024 23:22 31s
README: instructions for "no space left on device" CI #157: Pull request #82 opened by lsf37
May 14, 2024 23:05 29s no-space
no-space
May 14, 2024 23:05 29s
github: fix typo in multi-arch CI #156: Commit 81d6bcc pushed by lsf37
May 14, 2024 22:45 29s master
master
May 14, 2024 22:45 29s
multi-arch: prune old images, fix typo CI #155: Pull request #81 synchronize by lsf37
May 14, 2024 22:33 28s buildx-fix
buildx-fix
May 14, 2024 22:33 28s
multi-arch: prune old images, fix typo CI #154: Pull request #81 opened by lsf37
May 14, 2024 22:00 30s buildx-fix
buildx-fix
May 14, 2024 22:00 30s
github: buildx imagetools for multi-arch images CI #153: Commit 0b6bca1 pushed by lsf37
May 14, 2024 07:52 41s master
master
May 14, 2024 07:52 41s