Add GitHub continuous integration - Githubissues

mbeddr / mbeddr.formal

FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.

https://sites.google.com/site/fastenroot/home

Apache License 2.0

23 stars 14 forks source link

Add GitHub continuous integration #32

Closed BentleyJOakes closed 4 years ago

BentleyJOakes commented 4 years ago

This pull request adds GitHub continuous integration to this repository.

Two files are changed:

code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.build/models/com.mbeddr.formal.safety.build.mps
- This file is changed as the relative build paths must point to the location of MPS for the jbr files to be copied by the distribution script.
.github/workflows/main.yml
- The presence of this file tells GitHub to start the CI process.
- There are five steps in the CI process, documented in the file itself

Limitations:

The envs in the main.yml file will need to be modified for rebasing against new versions of MPS
Only the Windows version of the JBR is packaged
The changes to the build.mps file are required for this CI to work, and thus must be maintained
The distribution is an artifact of the CI process. Future work could be to deploy this to a download page
This script is expensive as it must download MPS each time. Future work could be to investigate caching