Skip to content

Actions: GaloisInc/VERSE-OpenSUT

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,040 workflow runs
1,040 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

docker: build components that aren't managed by package.sh Component Build & Test CI #484: Commit 80be2dd pushed by spernsteiner
February 18, 2025 17:25 14m 14s 96-startup-script
96-startup-script
February 18, 2025 17:25 14m 14s
docker: build components that aren't managed by package.sh Code Verification CI #459: Commit 80be2dd pushed by spernsteiner
February 18, 2025 17:25 19m 14s 96-startup-script
96-startup-script
February 18, 2025 17:25 19m 14s
docker: build components that aren't managed by package.sh Code Verification CI #458: Commit bed81aa pushed by spernsteiner
February 18, 2025 17:24 18m 28s 96-startup-script
96-startup-script
February 18, 2025 17:24 18m 28s
docker: build components that aren't managed by package.sh Component Build & Test CI #483: Commit bed81aa pushed by spernsteiner
February 18, 2025 17:24 Failure 96-startup-script
96-startup-script
February 18, 2025 17:24 Failure
ci: fix docker job Component Build & Test CI #482: Commit 8cafac8 pushed by spernsteiner
February 18, 2025 01:23 13m 28s 96-startup-script
96-startup-script
February 18, 2025 01:23 13m 28s
ci: fix docker job Code Verification CI #457: Commit 8cafac8 pushed by spernsteiner
February 18, 2025 01:23 24m 28s 96-startup-script
96-startup-script
February 18, 2025 01:23 24m 28s
ci: fix docker job Code Verification CI #456: Commit c077089 pushed by spernsteiner
February 18, 2025 00:50 27m 8s 96-startup-script
96-startup-script
February 18, 2025 00:50 27m 8s
ci: fix docker job Component Build & Test CI #481: Commit c077089 pushed by spernsteiner
February 18, 2025 00:50 32m 32s 96-startup-script
96-startup-script
February 18, 2025 00:50 32m 32s
Merge pull request #154 from GaloisInc/120-logging-boot Docker Image CI #93: Commit afe728a pushed by spernsteiner
February 17, 2025 21:21 3m 18s main
main
February 17, 2025 21:21 3m 18s
Merge pull request #154 from GaloisInc/120-logging-boot Component Build & Test CI #480: Commit afe728a pushed by spernsteiner
February 17, 2025 21:21 30m 51s main
main
February 17, 2025 21:21 30m 51s
Merge pull request #154 from GaloisInc/120-logging-boot Code Verification CI #455: Commit afe728a pushed by spernsteiner
February 17, 2025 21:21 16m 32s main
main
February 17, 2025 21:21 16m 32s
logging: add docs about logging_boot.sh Component Build & Test CI #479: Commit f257aa9 pushed by spernsteiner
February 17, 2025 19:44 30m 43s 120-logging-boot
120-logging-boot
February 17, 2025 19:44 30m 43s
logging: add docs about logging_boot.sh Code Verification CI #454: Commit f257aa9 pushed by spernsteiner
February 17, 2025 19:44 19m 1s 120-logging-boot
120-logging-boot
February 17, 2025 19:44 19m 1s
vm_runner: add opensut-dev configs Component Build & Test CI #478: Commit 5b75b05 pushed by spernsteiner
February 15, 2025 00:53 5m 21s 120-logging-boot
120-logging-boot
February 15, 2025 00:53 5m 21s
vm_runner: add opensut-dev configs Code Verification CI #453: Commit 5b75b05 pushed by spernsteiner
February 15, 2025 00:53 17m 58s 120-logging-boot
120-logging-boot
February 15, 2025 00:53 17m 58s
Merge pull request #153 from GaloisInc/ci-trusted-boot-cache-v4 Docker Image CI #92: Commit 6b1d227 pushed by spernsteiner
February 15, 2025 00:52 3m 58s main
main
February 15, 2025 00:52 3m 58s
Merge pull request #153 from GaloisInc/ci-trusted-boot-cache-v4 Component Build & Test CI #477: Commit 6b1d227 pushed by spernsteiner
February 15, 2025 00:52 28m 25s main
main
February 15, 2025 00:52 28m 25s
Merge pull request #153 from GaloisInc/ci-trusted-boot-cache-v4 Code Verification CI #452: Commit 6b1d227 pushed by spernsteiner
February 15, 2025 00:52 16m 37s main
main
February 15, 2025 00:52 16m 37s
ci: replace one last use of cache@v3 with cache@v4 Component Build & Test CI #476: Commit f6af238 pushed by spernsteiner
February 15, 2025 00:25 27m 21s ci-trusted-boot-cache-v4
ci-trusted-boot-cache-v4
February 15, 2025 00:25 27m 21s
ci: replace one last use of cache@v3 with cache@v4 Code Verification CI #451: Commit f6af238 pushed by spernsteiner
February 15, 2025 00:25 17m 20s ci-trusted-boot-cache-v4
ci-trusted-boot-cache-v4
February 15, 2025 00:25 17m 20s
vm_runner: add opensut-dev configs Code Verification CI #450: Commit eccee2d pushed by spernsteiner
February 14, 2025 23:49 17m 17s 120-logging-boot
120-logging-boot
February 14, 2025 23:49 17m 17s
vm_runner: add opensut-dev configs Component Build & Test CI #475: Commit eccee2d pushed by spernsteiner
February 14, 2025 23:49 5m 18s 120-logging-boot
120-logging-boot
February 14, 2025 23:49 5m 18s
Merge pull request #151 from GaloisInc/120-trusted-boot-for-guests Docker Image CI #91: Commit 13c9f71 pushed by spernsteiner
February 14, 2025 23:30 3m 25s main
main
February 14, 2025 23:30 3m 25s
Merge pull request #151 from GaloisInc/120-trusted-boot-for-guests Component Build & Test CI #474: Commit 13c9f71 pushed by spernsteiner
February 14, 2025 23:30 5m 18s main
main
February 14, 2025 23:30 5m 18s
Merge pull request #151 from GaloisInc/120-trusted-boot-for-guests Code Verification CI #449: Commit 13c9f71 pushed by spernsteiner
February 14, 2025 23:30 15m 48s main
main
February 14, 2025 23:30 15m 48s