nasa / ogma

Generator of runtime monitors for flight and robotics applications.
Other
335 stars 25 forks source link

`ogma-cli`: Introduce CI tests #139

Closed ivanperez-keera closed 5 months ago

ivanperez-keera commented 5 months ago

Description

Ogma doesn't currently rely on Travis CI for testing, because Travis is setup to run on all NASA repositories and we run out of cycles very quickly. We need to automate the testing process as much as possible regardless, and follow our own guide for compliance with NPR7150.2D but using Github instead of Travis.

Type

Additional context

None.

Requester

Method to check presence of bug

Pull requests do not indicate any CI job.

Expected result

Pull requests do indicate a CI job that runs every time.

Desired result

Pull requests do indicate a CI job that runs every time.

Proposed solution

Introduce a Github Actions file that installs and tests Ogma.

Further notes

None.

ivanperez-keera commented 5 months ago

Change Manager: Confirmed that the issue exists.

ivanperez-keera commented 5 months ago

Technical Lead: Confirmed that the issue should be addressed.

ivanperez-keera commented 5 months ago

Technical Lead: Issue scheduled for fixing in Ogma 1.4.

Fix assigned to: @ivanperez-keera.

ivanperez-keera commented 5 months ago

Implementor: Solution implemented, review requested.

ivanperez-keera commented 5 months ago

Change Manager: Verified that:

ivanperez-keera commented 5 months ago

Change Manager: Implementation ready to be merged.