Florian Zschocke
9b32ae7ecf
ci: Ignore release and gh-pages branches for CI build on push
4 years ago
Florian Zschocke
8549471ce5
ci: Add build with Java 7 on Linux
Add a job to run a build with Java 7.
The job currently only runs on Linux.
In order to run on Java 7, an old Ant version is downloaded and
installed. We use moxie+ant for this, so we build with moxie.
4 years ago
Florian Zschocke
616fcd1e34
Build on matrix of latest Ubunutu and latest Windows.
Currently that is Ubuntu 18.04 and Windows Server 2019.
https://help.github.com/en/actions/automating-your-workflow-with-github-actions/virtual-environments-for-github-hosted-runners
4 years ago
Florian Zschocke
998e3de219
Build as matrix of Java 8 and 11, only.
We cannot build with Ant on GitHub since the provided Ant
version does not run on Java 7.
4 years ago
Florian Zschocke
9cb37eba8e
Build with matrix of Java 7, 8 and 11.
4 years ago
Florian Zschocke
5bfcb4a25c
Add ci workflow to build on every push.
4 years ago