Skip to content

Actions: loonwerks/INSPECTA-models

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
49 workflow runs
49 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add rust behavior code HAMR-codegen #49: Commit eca780c pushed by jasonbelt
February 3, 2025 18:59 37m 13s main
main
February 3, 2025 18:59 37m 13s
add rust annotations to aadl models HAMR-codegen #48: Commit c51f549 pushed by jasonbelt
February 3, 2025 18:05 37m 21s main
main
February 3, 2025 18:05 37m 21s
attempt at prototyping Rust translation HAMR-codegen #47: Commit ab05080 pushed by hallers
February 3, 2025 08:37 38m 44s main
main
February 3, 2025 08:37 38m 44s
HAMR-codegen HAMR-codegen #46: Scheduled
February 1, 2025 02:50 37m 39s main
main
February 1, 2025 02:50 37m 39s
update air HAMR-codegen #45: Commit ccc207b pushed by jasonbelt
January 31, 2025 20:30 37m 36s main
main
January 31, 2025 20:30 37m 36s
Fixed typos HAMR-codegen #44: Commit dd39e99 pushed by junaidca
January 30, 2025 19:59 37m 33s main
main
January 30, 2025 19:59 37m 33s
Updated MHS-junaid.rs and Rust Verus prototype discussion based on co… HAMR-codegen #43: Commit 7c7bf2d pushed by junaidca
January 30, 2025 19:55 37m 2s main
main
January 30, 2025 19:55 37m 2s
Update discussion about lastCmd in Isolette contract HAMR-codegen #42: Commit df78cfb pushed by John-Hatcliff
January 30, 2025 18:04 37m 25s main
main
January 30, 2025 18:04 37m 25s
Initial notes on Isolette rust / contract prototyping HAMR-codegen #41: Commit cd1bf00 pushed by John-Hatcliff
January 30, 2025 15:00 38m 28s main
main
January 30, 2025 15:00 38m 28s
Merge branch 'main' of github.com:loonwerks/INSPECTA-models HAMR-codegen #40: Commit f74552f pushed by John-Hatcliff
January 28, 2025 13:19 36m 7s main
main
January 28, 2025 13:19 36m 7s
add manual unit tests HAMR-codegen #39: Commit 91b3859 pushed by jasonbelt
January 27, 2025 18:52 36m 35s main
main
January 27, 2025 18:52 36m 35s
Merge branch 'main' of github.com:loonwerks/INSPECTA-models HAMR-codegen #38: Commit 96dc23d pushed by John-Hatcliff
January 27, 2025 17:42 35m 36s main
main
January 27, 2025 17:42 35m 36s
HAMR-codegen HAMR-codegen #37: Scheduled
January 25, 2025 02:40 38m 19s main
main
January 25, 2025 02:40 38m 19s
add ci tasks HAMR-codegen #36: Commit 8734f8c pushed by jasonbelt
January 22, 2025 21:14 38m 5s main
main
January 22, 2025 21:14 38m 5s
HAMR-codegen HAMR-codegen #35: Manually run by jasonbelt
January 22, 2025 19:37 34m 37s main
main
January 22, 2025 19:37 34m 37s
Merge branch 'main' of github.com:loonwerks/INSPECTA-models HAMR-codegen #34: Commit c267eff pushed by John-Hatcliff
January 22, 2025 16:27 35m 48s main
main
January 22, 2025 16:27 35m 48s
HAMR-codegen HAMR-codegen #33: Scheduled
January 18, 2025 02:40 33m 55s main
main
January 18, 2025 02:40 33m 55s
isolette: reprovision sysml HAMR-codegen #32: Commit 42ed7e2 pushed by jasonbelt
January 14, 2025 15:06 34m 27s main
main
January 14, 2025 15:06 34m 27s
isolette: add initial codegen results, add file options to sysml mode… HAMR-codegen #31: Commit 0a1b5d9 pushed by jasonbelt
January 13, 2025 21:33 34m 32s main
main
January 13, 2025 21:33 34m 32s
HAMR-codegen HAMR-codegen #30: Scheduled
January 11, 2025 02:50 34m 15s main
main
January 11, 2025 02:50 34m 15s
update attestation artifacts HAMR-codegen #29: Commit 3ebbb40 pushed by jasonbelt
January 11, 2025 00:25 34m 10s main
main
January 11, 2025 00:25 34m 10s
add isolette microkit behavior code HAMR-codegen #28: Commit 1c83a19 pushed by jasonbelt
January 8, 2025 20:31 41m 29s main
main
January 8, 2025 20:31 41m 29s
update codegen args HAMR-codegen #27: Commit 322b384 pushed by jasonbelt
January 7, 2025 18:35 39m 57s main
main
January 7, 2025 18:35 39m 57s
HAMR-codegen HAMR-codegen #26: Manually run by jasonbelt
January 7, 2025 17:57 16m 13s main
main
January 7, 2025 17:57 16m 13s
add attestation to workflow HAMR-codegen #25: Commit fe61b22 pushed by jasonbelt
January 5, 2025 18:45 40m 5s main
main
January 5, 2025 18:45 40m 5s