Skip to content

Actions: seL4/seL4-CAmkES-L4v-dockerfiles

Deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
This scheduled workflow is disabled because there hasn't been activity in this repository for at least 60 days. Enable this workflow to resume scheduled runs.
77 workflow runs
77 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Deploy
Deploy #127: Scheduled
July 11, 2024 17:06 51m 9s master
July 11, 2024 17:06 51m 9s
camkes: re-add lib32stdc++-10-dev
Deploy #126: Commit 7972500 pushed by lsf37
July 11, 2024 05:16 1h 8m 35s master
July 11, 2024 05:16 1h 8m 35s
github: send repository-dispatch after deployment
Deploy #125: Commit 25280e7 pushed by lsf37
July 11, 2024 05:16 2m 36s master
July 11, 2024 05:16 2m 36s
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
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
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
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
Deploy #114: Commit b71572a pushed by lsf37
May 15, 2024 04:57 1h 2m 14s master
May 15, 2024 04:57 1h 2m 14s
README: instructions for "no space left on device"
Deploy #113: Commit 44a7b9b pushed by Ivan-Velickovic
May 14, 2024 23:22 1h 23m 18s master
May 14, 2024 23:22 1h 23m 18s
github: fix typo in multi-arch
Deploy #112: Commit 81d6bcc pushed by lsf37
May 14, 2024 22:45 58m 46s master
May 14, 2024 22:45 58m 46s
github: buildx imagetools for multi-arch images
Deploy #111: Commit 0b6bca1 pushed by lsf37
May 14, 2024 07:52 46m 53s master
May 14, 2024 07:52 46m 53s
github: authenticate earlier for Mac deployment
Deploy #110: Commit 867f29a pushed by lsf37
May 14, 2024 05:47 3m 27s master
May 14, 2024 05:47 3m 27s
github: fix missing arch tags in deployment
Deploy #109: Commit a46d494 pushed by lsf37
May 14, 2024 04:05 51m 11s master
May 14, 2024 04:05 51m 11s
Makefile: revert localtime mapping removal
Deploy #108: Commit 2e035ec pushed by lsf37
May 14, 2024 03:47 23s master
May 14, 2024 03:47 23s
github: build and deploy multi-arch images
Deploy #107: Commit 59061cc pushed by Ivan-Velickovic
May 14, 2024 02:56 1h 4m 42s master
May 14, 2024 02:56 1h 4m 42s
github: no cached images on self-hosted runner
Deploy #106: Commit 68d9f70 pushed by lsf37
May 14, 2024 02:23 51m 16s master
May 14, 2024 02:23 51m 16s
update base snapshot date
Deploy #105: Commit b100175 pushed by lsf37
May 12, 2024 09:08 52m 40s master
May 12, 2024 09:08 52m 40s
Deploy
Deploy #104: Scheduled
May 9, 2024 17:06 53m 31s master
May 9, 2024 17:06 53m 31s
Deploy
Deploy #103: Scheduled
May 2, 2024 17:06 55m 47s master
May 2, 2024 17:06 55m 47s