summaryrefslogtreecommitdiffstats
path: root/.github
Commit message (Collapse)AuthorAgeFilesLines
* ci: Ignore all branches starting with `release`.Florian Zschocke2020-01-311-2/+1
| | | | Set the ignored branches pattern to `release*` for the normal ci workflow.
* Add deployment of a release to GitHubFlorian Zschocke2020-01-271-0/+2560
| | | | | | | | | | | | Add Ant tasks and macros to deploy binaries to GitHub, using GitHub's releases. Adds an Awk script to extract GH flavoured markdown release notes from the release.moxie file. Adds `ok.sh` to the repository so that it is readily available. This is a Bourne shell GitHub API client, used to create a release on GitHub and upload the binaries.
* Run build and tests on Java 7.Florian Zschocke2020-01-111-1/+1
|
* ci: Ignore release and gh-pages branches for CI build on pushFlorian Zschocke2020-01-111-1/+6
|
* ci: Add build with Java 7 on LinuxFlorian Zschocke2020-01-101-0/+29
| | | | | | | 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.
* Build on matrix of latest Ubunutu and latest Windows.Florian Zschocke2020-01-051-1/+2
| | | | | 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
* Build as matrix of Java 8 and 11, only.Florian Zschocke2020-01-051-1/+1
| | | | | We cannot build with Ant on GitHub since the provided Ant version does not run on Java 7.
* Build with matrix of Java 7, 8 and 11.Florian Zschocke2020-01-051-5/+10
|
* Add ci workflow to build on every push.Florian Zschocke2020-01-051-0/+25