]> source.dussan.org Git - aspectj.git/commitdiff
Merge pull request #151 from eclipse/150-improve-ci-build
authorAlexander Kriegisch <Alexander@Kriegisch.name>
Sat, 2 Apr 2022 05:38:17 +0000 (12:38 +0700)
committerGitHub <noreply@github.com>
Sat, 2 Apr 2022 05:38:17 +0000 (12:38 +0700)
Improve CI build: create docs, use Maven cache, attach artifacts


Trivial merge