review: chore: convert extra checks to github action

[MartinWitt]

No description provided.

[MartinWitt]

We should really convert this to a github action.

[MartinWitt]

The oracle action uses version and not java-version. https://github.com/oracle-actions/setup-java

[MartinWitt]

Okay lets fix this in another PR.

[SirYwell]

I think this is a great improvement to the CI. I have a few things that could be considered to further improve it (probably here, probably in separate PRs):

1. Most steps don't depend on each other. What do you think about having separate jobs for them?
2. We download some files (the z3 build, gradle). Can we make use of caching?
3. It seems like most sub projects run similar maven commands, however, it's somewhat inconsistent (some run depclean, some run checkstyle, some run both). Is this something we want to improve?

[MartinWitt]

I think this is a great improvement to the CI. I have a few things that could be considered to further improve it (probably here, probably in separate PRs):

1. Most steps don't depend on each other. What do you think about having separate jobs for them?

Actually, most jobs need to install spoon-core/spoon-pom before. We dont want to run mvn install to often, as this takes time.

2. We download some files (the z3 build, gradle). Can we make use of caching?

Sure

3. It seems like most sub projects run similar maven commands, however, it's somewhat inconsistent (some run depclean, some run checkstyle, some run both). Is this something we want to improve?

I hope there is some reasoning behind this

[MartinWitt]

The z3 download is cached now.