Skip to content

Actions: afrl-rq/OpenUxAS

Actions

Build and Prove UxAS Ada Services

Actions

Loading...

Show workflow options

Create status badge

uxas-ada.yaml
123 workflow runs
123 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Merge pull request #106 from VVCAS-Sean/update_daidalus Build and Prove UxAS Ada Services #130: Commit acce4d5 pushed by VVCAS-Sean
March 6, 2024 20:30 21m 3s daidalus_integration
daidalus_integration
March 6, 2024 20:30 21m 3s
Update daidalus_integration Build and Prove UxAS Ada Services #129: Pull request #106 opened by VVCAS-Sean
March 6, 2024 20:07 21m 22s VVCAS-Sean:update_daidalus
VVCAS-Sean:update_daidalus
March 6, 2024 20:07 21m 22s
Plan builder Translation and Proof Build and Prove UxAS Ada Services #128: Pull request #97 synchronize by mhadhbir
March 4, 2024 13:29 3m 27s mhadhbir:plan_builder_new
mhadhbir:plan_builder_new
March 4, 2024 13:29 3m 27s
Build and Prove UxAS Ada Services Build and Prove UxAS Ada Services #127: Scheduled
February 29, 2024 03:36 20m 8s develop
develop
February 29, 2024 03:36 20m 8s
Merge pull request #103 from VVCAS-Sean/daidalus_integration Build and Prove UxAS Ada Services #126: Commit a9e448a pushed by VVCAS-Sean
February 28, 2024 19:04 4m 20s daidalus_integration
daidalus_integration
February 28, 2024 19:04 4m 20s
Daidalus integration Build and Prove UxAS Ada Services #125: Pull request #103 synchronize by VVCAS-Sean
February 28, 2024 19:04 3m 33s VVCAS-Sean:daidalus_integration
VVCAS-Sean:daidalus_integration
February 28, 2024 19:04 3m 33s
Build and Prove UxAS Ada Services Build and Prove UxAS Ada Services #124: Scheduled
February 22, 2024 03:36 20m 50s develop
develop
February 22, 2024 03:36 20m 50s
Merge pull request #98 from pat-rogers/relaxed_init Build and Prove UxAS Ada Services #123: Commit 6ff44bc pushed by VVCAS-Sean
February 15, 2024 20:31 22m 11s develop
develop
February 15, 2024 20:31 22m 11s
Build and Prove UxAS Ada Services Build and Prove UxAS Ada Services #122: Scheduled
February 15, 2024 03:36 21m 38s develop
develop
February 15, 2024 03:36 21m 38s
Build and Prove UxAS Ada Services Build and Prove UxAS Ada Services #121: Scheduled
February 8, 2024 03:36 20m 47s develop
develop
February 8, 2024 03:36 20m 47s
Daidalus integration Build and Prove UxAS Ada Services #120: Pull request #103 opened by VVCAS-Sean
February 7, 2024 15:07 23m 6s VVCAS-Sean:daidalus_integration
VVCAS-Sean:daidalus_integration
February 7, 2024 15:07 23m 6s
Use Tony's fork of zeromq-Ada until upstream merge (#102) Build and Prove UxAS Ada Services #119: Commit da75a0e pushed by VVCAS-Sean
February 7, 2024 12:56 22m 54s develop
develop
February 7, 2024 12:56 22m 54s
Fix for #99: run-example broken without GNAT (#100) Build and Prove UxAS Ada Services #118: Commit 024b6ba pushed by VVCAS-Sean
February 7, 2024 12:51 21m 21s develop
develop
February 7, 2024 12:51 21m 21s
Fix for #99: run-example broken without GNAT Build and Prove UxAS Ada Services #117: Pull request #100 opened by manthonyaiello
February 6, 2024 20:05 22m 24s manthonyaiello:fix-99
manthonyaiello:fix-99
February 6, 2024 20:05 22m 24s
Plan builder Translation and Proof Build and Prove UxAS Ada Services #116: Pull request #97 synchronize by mhadhbir
February 2, 2024 15:43 3m 16s mhadhbir:plan_builder_new
mhadhbir:plan_builder_new
February 2, 2024 15:43 3m 16s
Build and Prove UxAS Ada Services Build and Prove UxAS Ada Services #115: Scheduled
February 1, 2024 03:36 20m 59s develop
develop
February 1, 2024 03:36 20m 59s
Build and Prove UxAS Ada Services Build and Prove UxAS Ada Services #114: Scheduled
January 25, 2024 03:36 16m 19s develop
develop
January 25, 2024 03:36 16m 19s
update for "relaxed initialization" changes in Lmcpgen ByteBuffers code Build and Prove UxAS Ada Services #113: Pull request #98 opened by pat-rogers
January 19, 2024 19:56 24m 9s pat-rogers:relaxed_init
pat-rogers:relaxed_init
January 19, 2024 19:56 24m 9s
Plan builder Translation and Proof Build and Prove UxAS Ada Services #112: Pull request #97 opened by mhadhbir
January 18, 2024 16:51 3m 12s mhadhbir:plan_builder_new
mhadhbir:plan_builder_new
January 18, 2024 16:51 3m 12s
Build and Prove UxAS Ada Services Build and Prove UxAS Ada Services #111: Scheduled
January 18, 2024 03:36 21m 25s develop
develop
January 18, 2024 03:36 21m 25s
Adapt Ada code and take advantage of new SPARK features (#74) Build and Prove UxAS Ada Services #110: Commit ef9f822 pushed by VVCAS-Sean
January 17, 2024 17:42 22m 36s develop
develop
January 17, 2024 17:42 22m 36s
Plan builder Service Build and Prove UxAS Ada Services #109: Pull request #96 opened by mhadhbir
January 17, 2024 13:38 9m 27s mhadhbir:plan_builder
mhadhbir:plan_builder
January 17, 2024 13:38 9m 27s
Adapt Ada code and take advantage of new SPARK features Build and Prove UxAS Ada Services #108: Pull request #74 synchronize by manthonyaiello
January 16, 2024 16:13 21m 28s joffreyhuguet:adapt_new_spark
joffreyhuguet:adapt_new_spark
January 16, 2024 16:13 21m 28s
Build and Prove UxAS Ada Services Build and Prove UxAS Ada Services #107: Scheduled
January 11, 2024 03:36 21m 8s develop
develop
January 11, 2024 03:36 21m 8s
Build and Prove UxAS Ada Services Build and Prove UxAS Ada Services #106: Scheduled
January 4, 2024 03:36 20m 50s develop
develop
January 4, 2024 03:36 20m 50s