Skip to content

Actions: sireum/hamr-codegen

Actions

CAmkES

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
CI-camkes.yml
202 workflow runs
202 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CAmkES CAmkES #358: Scheduled
September 14, 2024 02:36 3h 27m 15s master
master
September 14, 2024 02:36 3h 27m 15s
add ros2 updates from clint branch, tipe fixes CAmkES #357: Commit 5a5e5d3 pushed by jasonbelt
September 14, 2024 00:02 3h 36m 25s master
master
September 14, 2024 00:02 3h 36m 25s
Adding datatype testing CAmkES #356: Commit b55d577 pushed by ClintMcKenzieJr
September 13, 2024 21:49 8m 13s clint
clint
September 13, 2024 21:49 8m 13s
Regen expected. CAmkES #355: Commit 0e73b3b pushed by robby-phd
September 13, 2024 18:41 3h 30m 7s master
master
September 13, 2024 18:41 3h 30m 7s
Addressed whitespace issues in SIREUM_HOME path. CAmkES #354: Commit 3aaaec0 pushed by robby-phd
September 12, 2024 19:43 3h 48m 3s master
master
September 12, 2024 19:43 3h 48m 3s
update submodules CAmkES #353: Commit 93f3db0 pushed by jasonbelt
September 11, 2024 22:02 3h 54m 11s master
master
September 11, 2024 22:02 3h 54m 11s
Addressed whitespace issues in SIREUM_HOME path. CAmkES #352: Commit ca26cf4 pushed by robby-phd
September 11, 2024 21:17 1h 50m 1s master
master
September 11, 2024 21:17 1h 50m 1s
Updated submodules. CAmkES #351: Commit 3ad602e pushed by robby-phd
September 11, 2024 20:50 2h 18m 11s master
master
September 11, 2024 20:50 2h 18m 11s
Addressed whitespace issue in SIREUM_HOME path. CAmkES #350: Commit 91eec81 pushed by robby-phd
September 11, 2024 15:21 3h 48m 0s master
master
September 11, 2024 15:21 3h 48m 0s
remove sysml dep CAmkES #349: Commit ddec69b pushed by jasonbelt
September 10, 2024 18:28 3h 41m 59s master
master
September 10, 2024 18:28 3h 41m 59s
update submodules CAmkES #348: Commit 84c8935 pushed by jasonbelt
September 10, 2024 18:01 6m 12s master
master
September 10, 2024 18:01 6m 12s
update submodules CAmkES #347: Commit f0fa5c7 pushed by jasonbelt
September 10, 2024 15:35 2h 28m 5s master
master
September 10, 2024 15:35 2h 28m 5s
CAmkES CAmkES #346: Scheduled
September 7, 2024 02:35 3h 25m 29s master
master
September 7, 2024 02:35 3h 25m 29s
update submodules CAmkES #345: Commit 8ff0636 pushed by jasonbelt
September 6, 2024 22:11 3h 28m 59s master
master
September 6, 2024 22:11 3h 28m 59s
update submodules CAmkES #344: Commit f42ada4 pushed by jasonbelt
September 5, 2024 21:44 3h 39m 29s master
master
September 5, 2024 21:44 3h 39m 29s
report error CAmkES #343: Commit 0b93689 pushed by jasonbelt
September 5, 2024 18:03 3h 44m 1s master
master
September 5, 2024 18:03 3h 44m 1s
also return connection ref id path CAmkES #342: Commit 0a35f87 pushed by jasonbelt
September 4, 2024 21:33 3h 27m 28s master
master
September 4, 2024 21:33 3h 27m 28s
helper functions CAmkES #341: Commit 81c7e4b pushed by jasonbelt
September 4, 2024 20:26 3h 27m 20s master
master
September 4, 2024 20:26 3h 27m 20s
fix enum names CAmkES #340: Commit ba7b175 pushed by jasonbelt
September 3, 2024 22:12 3h 36m 16s master
master
September 3, 2024 22:12 3h 36m 16s
treat aadl threads as singletons when type checking CAmkES #339: Commit 8d16790 pushed by jasonbelt
September 3, 2024 19:34 3h 35m 22s master
master
September 3, 2024 19:34 3h 35m 22s
CAmkES CAmkES #338: Scheduled
August 31, 2024 02:35 3h 26m 0s master
master
August 31, 2024 02:35 3h 26m 0s
map resolved integration constraint exp to itself CAmkES #337: Commit 03cc902 pushed by jasonbelt
August 29, 2024 16:28 3h 40m 48s master
master
August 29, 2024 16:28 3h 40m 48s
add slang type hierarchy to gcl sym results CAmkES #336: Commit 3d25554 pushed by jasonbelt
August 29, 2024 15:29 59m 50s master
master
August 29, 2024 15:29 59m 50s
update submodules CAmkES #335: Commit 07ef203 pushed by jasonbelt
August 28, 2024 16:54 3h 33m 1s master
master
August 28, 2024 16:54 3h 33m 1s
add sysml type check support CAmkES #334: Commit b96a99b pushed by jasonbelt
August 27, 2024 21:20 3h 26m 40s master
master
August 27, 2024 21:20 3h 26m 40s