Klub-RZ/infrastructure
4
0
Fork 0
Code Issues 7 Pull requests Projects Releases Packages Wiki Activity
77 commits 9 branches 0 tags 441 KiB
Commit graph

4 commits

Author SHA1 Message Date
gdd
dee54e706d Add remote-builder-01 (#2) 
Initial configuration of remote-builder-01.

Co-authored-by: Gabriel DORIATH DOHLER <gabriel.doriath.dohler@ens.psl.eu>
Reviewed-on: https://git.rz.ens.wtf/Klub-RZ/infrastructure/pulls/2
Co-authored-by: gdd <gabriel.doriath.dohler@ens.fr>
Co-committed-by: gdd <gabriel.doriath.dohler@ens.fr>
 2021-07-28 23:55:34 +02:00
Raito Bezarius
a5d6449284 README: document how to use krops 2021-07-26 01:33:27 +02:00
raito
2283ee602a Integrate core-services-01 in a nice workflow (#1) 
This enables the tracking of core-services-01 over the infrastructure repository.

Co-authored-by: Gabriel DORIATH DOHLER <gabriel.doriath.dohler@ens.psl.eu>
Reviewed-on: https://git.rz.ens.wtf/Klub-RZ/infrastructure/pulls/1
Co-authored-by: raito <raito@noreply.git.rz.ens.wtf>
Co-committed-by: raito <raito@noreply.git.rz.ens.wtf>
 2021-07-26 01:29:05 +02:00
gdd
cd84498987 Initial commit 2021-07-24 00:01:09 +02:00