Skip to content

Actions: GaloisInc/VERSE-OpenSUT

Actions

Component Build & Test CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
448 workflow runs
448 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix frama-c proofs Component Build & Test CI #448: Commit 13033a6 pushed by peterohanley
February 13, 2025 01:11 10m 2s gus/xmss
gus/xmss
February 13, 2025 01:11 10m 2s
Update CI CN image Component Build & Test CI #447: Commit c8dfed2 pushed by peterohanley
February 13, 2025 01:02 10m 12s gus/xmss
gus/xmss
February 13, 2025 01:02 10m 12s
fixup! Add specs for XMSS signature verification Component Build & Test CI #446: Commit 76afaf0 pushed by peterohanley
February 12, 2025 23:47 10m 12s gus/xmss
gus/xmss
February 12, 2025 23:47 10m 12s
Specify XmssSignatureBlob with length prefix Component Build & Test CI #445: Commit 0e31dbc pushed by peterohanley
February 12, 2025 21:38 32m 8s gus/xmss
gus/xmss
February 12, 2025 21:38 32m 8s
add xmss build artifact needed for CI Component Build & Test CI #444: Commit b7158cc pushed by peterohanley
February 12, 2025 21:24 10m 9s gus/xmss
gus/xmss
February 12, 2025 21:24 10m 9s
Use lifted struct type instead of CN datatype Component Build & Test CI #443: Commit 53cb312 pushed by peterohanley
February 12, 2025 19:36 10m 13s gus/xmss
gus/xmss
February 12, 2025 19:36 10m 13s
Specify XmssSignatureBlob with length prefix Component Build & Test CI #442: Commit 9217268 pushed by peterohanley
February 12, 2025 05:00 35m 29s gus/xmss
gus/xmss
February 12, 2025 05:00 35m 29s
One more TODO Component Build & Test CI #441: Commit bc27384 pushed by septract
February 11, 2025 01:29 9m 45s 139-feature-verify-test-mkm-module
139-feature-verify-test-mkm-module
February 11, 2025 01:29 9m 45s
mkm: resolved TODOs or converted to NOTE Component Build & Test CI #440: Commit f9aaeeb pushed by septract
February 11, 2025 01:27 9m 55s 139-feature-verify-test-mkm-module
139-feature-verify-test-mkm-module
February 11, 2025 01:27 9m 55s
mkm: use INI instead of TOML for config file format Component Build & Test CI #439: Commit 94f9607 pushed by spernsteiner
February 8, 2025 00:00 9m 47s 98-mkm-config
98-mkm-config
February 8, 2025 00:00 9m 47s
mkm: use INI instead of TOML for config file format Component Build & Test CI #438: Commit a4708e8 pushed by spernsteiner
February 7, 2025 23:40 9m 32s 98-mkm-config
98-mkm-config
February 7, 2025 23:40 9m 32s
mkm: use INI instead of TOML for config file format Component Build & Test CI #437: Commit ccd0076 pushed by spernsteiner
February 7, 2025 23:31 10m 1s 98-mkm-config
98-mkm-config
February 7, 2025 23:31 10m 1s
mkm: use INI instead of TOML for config file format Component Build & Test CI #436: Commit fcf1da5 pushed by spernsteiner
February 7, 2025 23:29 9m 57s 98-mkm-config
98-mkm-config
February 7, 2025 23:29 9m 57s
mkm: update README to document config files Component Build & Test CI #435: Commit fd1adf4 pushed by spernsteiner
February 7, 2025 22:45 35m 46s 98-mkm-config
98-mkm-config
February 7, 2025 22:45 35m 46s
Switch to a different docker-run action Component Build & Test CI #434: Commit 43f3033 pushed by podhrmic
February 7, 2025 19:02 9m 44s 139-feature-verify-test-mkm-module
139-feature-verify-test-mkm-module
February 7, 2025 19:02 9m 44s
Revert frama-c job to what is in main Component Build & Test CI #433: Commit a153764 pushed by podhrmic
February 7, 2025 18:04 15m 9s 139-feature-verify-test-mkm-module
139-feature-verify-test-mkm-module
February 7, 2025 18:04 15m 9s
Install frama-C from a distro package Component Build & Test CI #432: Commit ead7d69 pushed by podhrmic
February 7, 2025 17:55 9m 59s 139-feature-verify-test-mkm-module
139-feature-verify-test-mkm-module
February 7, 2025 17:55 9m 59s
Revert the frama-c job changes Component Build & Test CI #431: Commit f5b0dab pushed by podhrmic
February 7, 2025 17:00 11m 10s 139-feature-verify-test-mkm-module
139-feature-verify-test-mkm-module
February 7, 2025 17:00 11m 10s
Fix container definition: Component Build & Test CI #430: Commit d0e7057 pushed by podhrmic
February 7, 2025 01:27 9m 54s 139-feature-verify-test-mkm-module
139-feature-verify-test-mkm-module
February 7, 2025 01:27 9m 54s
Skip docker-run action Component Build & Test CI #429: Commit 60d8f1f pushed by podhrmic
February 7, 2025 01:24 10m 35s 139-feature-verify-test-mkm-module
139-feature-verify-test-mkm-module
February 7, 2025 01:24 10m 35s
Fix path Component Build & Test CI #428: Commit bdd35b7 pushed by podhrmic
February 7, 2025 01:19 9m 51s 139-feature-verify-test-mkm-module
139-feature-verify-test-mkm-module
February 7, 2025 01:19 9m 51s
Try to debug the frama-c invocation Component Build & Test CI #427: Commit 022142e pushed by podhrmic
February 7, 2025 01:14 9m 49s 139-feature-verify-test-mkm-module
139-feature-verify-test-mkm-module
February 7, 2025 01:14 9m 49s
Try different way of writing the steps Component Build & Test CI #426: Commit 249d53d pushed by podhrmic
February 7, 2025 00:56 10m 15s 139-feature-verify-test-mkm-module
139-feature-verify-test-mkm-module
February 7, 2025 00:56 10m 15s
install missing deps in frama-c image Component Build & Test CI #425: Commit 702f5ca pushed by podhrmic
February 7, 2025 00:42 10m 12s 139-feature-verify-test-mkm-module
139-feature-verify-test-mkm-module
February 7, 2025 00:42 10m 12s
Fix frama-c proofs Component Build & Test CI #424: Commit 625ec77 pushed by podhrmic
February 7, 2025 00:31 9m 54s 139-feature-verify-test-mkm-module
139-feature-verify-test-mkm-module
February 7, 2025 00:31 9m 54s