Tue, 23 Jun 2020 12:21:39 +0100 | Jan Vrany | CI: cleanup workspace after successfull build | file | diff | annotate |
Fri, 12 Jun 2020 21:17:27 +0100 | Jan Vrany | CI: use different files for different pipelines... | file | diff | annotate |
Mon, 12 Mar 2018 22:08:46 +0000 | Jan Vrany | CI: moved CI-related files to (new) subdirectory `ci` | file | diff | annotate |