| commit | 2f03524e3b098f3f9bb3d4b5f8269699b34a6ae1 | [log] [tgz] |
|---|---|---|
| author | Romain Manni-Bucau <rmannibucau@gmail.com> | Thu Nov 07 14:01:59 2019 +0100 |
| committer | Romain Manni-Bucau <rmannibucau@gmail.com> | Thu Nov 07 14:01:59 2019 +0100 |
| tree | 636f2466f6c156fbad2c322606fbe961e80eab9c | |
| parent | 33d6c2959b2c7117de1ea79d76a8cc15c2986230 [diff] |
removing website publication from github actions since we'll deploy on buildbot + configuring System.out for documentation logs