Skip to content

Actions: GaloisInc/VERSE-OpenSUT

Actions

Docker Image CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker-image.yml
84 workflow runs
84 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #147 from GaloisInc/gus-reword Docker Image CI #84: Commit 598854e pushed by podhrmic
January 8, 2025 04:33 2m 59s main
main
January 8, 2025 04:33 2m 59s
Merge pull request #145 from GaloisInc/120-mkm-client Docker Image CI #83: Commit 11efbdc pushed by spernsteiner
December 18, 2024 17:10 3m 3s main
main
December 18, 2024 17:10 3m 3s
Address review comments Docker Image CI #82: Commit 90e937b pushed by podhrmic
December 17, 2024 20:03 3m 17s main
main
December 17, 2024 20:03 3m 17s
Merge pull request #132 from GaloisInc/120-logging-component Docker Image CI #81: Commit 2c9c2ba pushed by spernsteiner
December 17, 2024 20:01 3m 33s main
main
December 17, 2024 20:01 3m 33s
Merge pull request #143 from GaloisInc/98-mkm-crypto Docker Image CI #80: Commit 6e1008e pushed by spernsteiner
December 12, 2024 21:26 2m 55s main
main
December 12, 2024 21:26 2m 55s
Merge pull request #133 from GaloisInc/98-mkm-server Docker Image CI #79: Commit 543d7e1 pushed by spernsteiner
December 11, 2024 00:59 3m 11s main
main
December 11, 2024 00:59 3m 11s
Implement MPS specs (#116) Docker Image CI #78: Commit 185da0e pushed by peterohanley
December 9, 2024 19:55 3m 27s main
main
December 9, 2024 19:55 3m 27s
Update HARDENED_CONTAINERS.md Docker Image CI #77: Commit 6a3092f pushed by podhrmic
November 26, 2024 15:12 3m 6s main
main
November 26, 2024 15:12 3m 6s
Merge pull request #130 from GaloisInc/update-ci Docker Image CI #76: Commit 5da5cbc pushed by podhrmic
November 18, 2024 21:54 3m 56s main
main
November 18, 2024 21:54 3m 56s
Add test docker image job to ensure the hardened image works as expected Docker Image CI #75: Commit 49f01de pushed by podhrmic
November 12, 2024 18:34 4m 48s update-ci
update-ci
November 12, 2024 18:34 4m 48s
Use buil-push-action for the hardened image Docker Image CI #74: Commit 751f16f pushed by podhrmic
November 12, 2024 17:54 4m 10s update-ci
update-ci
November 12, 2024 17:54 4m 10s
Temporarily disable docker actions limitation (now it builds on all b… Docker Image CI #73: Commit 7183f7b pushed by podhrmic
November 12, 2024 17:52 3m 28s update-ci
update-ci
November 12, 2024 17:52 3m 28s
Merge pull request #131 from GaloisInc/97-missing-files-for-autopilot… Docker Image CI #72: Commit f4a266e pushed by spernsteiner
November 8, 2024 19:09 43m 6s main
main
November 8, 2024 19:09 43m 6s
clean up the dockerfile, do not run ardupilot install script Docker Image CI #71: Commit 8a202f9 pushed by podhrmic
November 8, 2024 18:16 7m 31s update-ci
update-ci
November 8, 2024 18:16 7m 31s
Add debug info to the docker build Docker Image CI #70: Commit d8cd270 pushed by podhrmic
November 8, 2024 18:07 1m 35s update-ci
update-ci
November 8, 2024 18:07 1m 35s
Fix path to the ardupilot install script Docker Image CI #69: Commit 954e001 pushed by podhrmic
November 8, 2024 16:29 3m 39s update-ci
update-ci
November 8, 2024 16:29 3m 39s
Disable checking out all submodules Docker Image CI #68: Commit 03a90de pushed by podhrmic
November 8, 2024 02:29 1m 26s update-ci
update-ci
November 8, 2024 02:29 1m 26s
Update dockerfile and the CI build Docker Image CI #67: Commit 2681ff6 pushed by podhrmic
November 8, 2024 02:26 2m 41s update-ci
update-ci
November 8, 2024 02:26 2m 41s
Correct path to the dockerfile Docker Image CI #66: Commit 28605d3 pushed by podhrmic
November 7, 2024 16:48 2h 21m 10s update-ci
update-ci
November 7, 2024 16:48 2h 21m 10s
Update cerberus to latest master Docker Image CI #65: Commit f26b831 pushed by podhrmic
November 7, 2024 16:43 5m 5s update-ci
update-ci
November 7, 2024 16:43 5m 5s
Fix env variables Docker Image CI #64: Commit a2a8ecf pushed by podhrmic
November 7, 2024 16:40 2m 26s update-ci
update-ci
November 7, 2024 16:40 2m 26s
Temporarily enable building docker images on all branches Docker Image CI #63: Commit d3a4552 pushed by podhrmic
November 7, 2024 16:30 10m 37s update-ci
update-ci
November 7, 2024 16:30 10m 37s
Trusted boot: specs for all functions except string parsing pass (#128) Docker Image CI #62: Commit c768753 pushed by peterohanley
October 31, 2024 21:37 44m 28s main
main
October 31, 2024 21:37 44m 28s
trusted boot: firmware.c specifications pass (#123) Docker Image CI #61: Commit d255dc0 pushed by peterohanley
October 29, 2024 18:55 41m 21s main
main
October 29, 2024 18:55 41m 21s
Simplify the variables Docker Image CI #60: Commit 8b38964 pushed by podhrmic
October 29, 2024 14:32 24s update-cerberus-docker
update-cerberus-docker
October 29, 2024 14:32 24s