Commit graph

4 commits

Author SHA1 Message Date
3f2e795b0e chore: Rename module options 2023-02-23 23:59:59 +00:00
a5f3e05889 Formatting 2022-08-14 22:27:28 +02:00
5170bdff65 Cleanups 2022-08-14 22:27:15 +02:00
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