Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add CI for master branch #8

Open
kevin-delmas opened this issue Nov 15, 2023 · 3 comments
Open

Add CI for master branch #8

kevin-delmas opened this issue Nov 15, 2023 · 3 comments
Assignees
@FredBoniol @kevin-delmas
Labels
enhancement New feature or request

Comments

@kevin-delmas
Copy link
Collaborator

Use Github workflow to compile and run integration tests on push.
Template are available here
@kevin-delmas kevin-delmas added the enhancement New feature or request label Nov 15, 2023
@kevin-delmas kevin-delmas self-assigned this Nov 15, 2023
@kevin-delmas
Copy link
Collaborator Author

The problem is here that MONOSAT should be fetched and compiled since release with JAVA API is not avalaible.
It may be really tedious and inefficient to do that during a github action

@Gaudeval
Copy link
Collaborator

It might be worth assessing how to generate new versions on PR completion as well. Could be a separate ticket.

@Gaudeval Gaudeval mentioned this issue Nov 20, 2023
Merged
kevin-delmas added a commit that referenced this issue Nov 22, 2023
@kevin-delmas
Fixing issue #8: First attempt to define a very simple test, will fai…
f40eaf9 
…l since monosat.jar is not provided
kevin-delmas added a commit that referenced this issue Nov 22, 2023
@kevin-delmas
Fixing issue #8: First attempt to define a very simple test, will fai…
b22caf2 
…l since monosat.jar is not provided
@kevin-delmas
Copy link
Collaborator Author

After many tries, we now have an operational action that triggers sbt tests on push and PR on master 😄
@FredBoniol For now the action is simply running the interference analysis for the SimpleKeystone. We should check that the generated itf are correct and store that as test resource

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@FredBoniol FredBoniol

@kevin-delmas kevin-delmas

Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

When branches are created from issues, their pull requests are automatically linked.

8-add-ci-for-master-branch onera/pml-analyzer
3 participants
@Gaudeval @FredBoniol @kevin-delmas