Skip to content

Actions: seL4/seL4-CAmkES-L4v-dockerfiles

Actions

PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr.yml
64 workflow runs
64 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improve portability of arch detection in Makefile PR #131: Pull request #90 synchronize by nspin
October 27, 2024 08:20 24s nspin:pr/portable-arch-detection
nspin:pr/portable-arch-detection
October 27, 2024 08:20 24s
Improve portability of arch detection in Makefile PR #130: Pull request #90 opened by nspin
October 27, 2024 08:19 29s nspin:pr/portable-arch-detection
nspin:pr/portable-arch-detection
October 27, 2024 08:19 29s
switch back to clang-11 PR #129: Pull request #89 opened by lsf37
October 12, 2024 06:46 28s clang-11
clang-11
October 12, 2024 06:46 28s
Switch to clang-12 as minimum version PR #128: Pull request #88 opened by lsf37
October 9, 2024 06:23 22s clang-12
clang-12
October 9, 2024 06:23 22s
remove Debian snapshots as default PR #127: Pull request #87 synchronize by lsf37
July 23, 2024 01:49 24s no-snapshot
no-snapshot
July 23, 2024 01:49 24s
remove Debian snapshots as default PR #126: Pull request #87 opened by lsf37
July 22, 2024 23:38 28s no-snapshot
no-snapshot
July 22, 2024 23:38 28s
github: send repository-dispatch after deployment PR #125: Pull request #86 opened by lsf37
July 11, 2024 03:43 20s dispatch
dispatch
July 11, 2024 03:43 20s
camkes: re-add lib32stdc++-10-dev PR #124: Pull request #85 synchronize by lsf37
July 11, 2024 02:43 31s lib32stdc
lib32stdc
July 11, 2024 02:43 31s
camkes: re-add lib32stdc++-10-dev PR #123: Pull request #85 synchronize by lsf37
July 11, 2024 01:07 25s lib32stdc
lib32stdc
July 11, 2024 01:07 25s
camkes: re-add lib32stdc++-10-dev PR #122: Pull request #85 opened by lsf37
June 13, 2024 05:52 21s lib32stdc
lib32stdc
June 13, 2024 05:52 21s
user.sh: put env settings in /etc/bash.bashrc PR #121: Pull request #83 opened by lsf37
May 22, 2024 04:24 34s path
path
May 22, 2024 04:24 34s
README: instructions for "no space left on device" PR #120: Pull request #82 opened by lsf37
May 14, 2024 23:05 22s no-space
no-space
May 14, 2024 23:05 22s
multi-arch: prune old images, fix typo PR #119: Pull request #81 synchronize by lsf37
May 14, 2024 22:33 26s buildx-fix
buildx-fix
May 14, 2024 22:33 26s
multi-arch: prune old images, fix typo PR #118: Pull request #81 opened by lsf37
May 14, 2024 22:00 25s buildx-fix
buildx-fix
May 14, 2024 22:00 25s
github: buildx imagetools for multi-arch images PR #117: Pull request #80 opened by lsf37
May 14, 2024 07:50 26s buildx
buildx
May 14, 2024 07:50 26s
github: authenticate earlier for Mac deployment PR #116: Pull request #79 synchronize by lsf37
May 14, 2024 05:38 20s unlock-keychain
unlock-keychain
May 14, 2024 05:38 20s
github: authenticate earlier for Mac deployment PR #115: Pull request #79 opened by lsf37
May 14, 2024 05:34 26s unlock-keychain
unlock-keychain
May 14, 2024 05:34 26s
github: fix missing arch tags in deployment PR #114: Pull request #78 synchronize by lsf37
May 14, 2024 03:49 24s multiarch-deploy
multiarch-deploy
May 14, 2024 03:49 24s
github: fix missing arch tags in deployment PR #113: Pull request #78 opened by lsf37
May 14, 2024 03:46 20s multiarch-deploy
multiarch-deploy
May 14, 2024 03:46 20s
Makefile: revert localtime mapping removal PR #112: Pull request #77 opened by lsf37
May 14, 2024 03:43 24s timezone
timezone
May 14, 2024 03:43 24s
github: build and deploy multi-arch images PR #111: Pull request #76 opened by lsf37
May 14, 2024 02:37 28s tagging
tagging
May 14, 2024 02:37 28s
Add AArch64 container variants PR #110: Pull request #65 synchronize by lsf37
May 14, 2024 01:31 34s Ivan-Velickovic:armv8_testing
Ivan-Velickovic:armv8_testing
May 14, 2024 01:31 34s
Add AArch64 container variants PR #109: Pull request #65 synchronize by lsf37
May 14, 2024 00:47 23s Ivan-Velickovic:armv8_testing
Ivan-Velickovic:armv8_testing
May 14, 2024 00:47 23s
Add AArch64 container variants PR #108: Pull request #65 synchronize by lsf37
May 13, 2024 09:33 25s Ivan-Velickovic:armv8_testing
Ivan-Velickovic:armv8_testing
May 13, 2024 09:33 25s
Add AArch64 container variants PR #107: Pull request #65 synchronize by lsf37
May 13, 2024 08:14 30s Ivan-Velickovic:armv8_testing
Ivan-Velickovic:armv8_testing
May 13, 2024 08:14 30s