|
e06816be14
|
Merge branch 'devel' into 'main'
reordering of config attributes
See merge request glicid-public/guix-glicid!188
|
2023-01-10 12:55:03 +00:00 |
|
|
6fe3c6a941
|
reordering of config attributes
|
2023-01-10 13:54:16 +01:00 |
|
|
c798d0abb4
|
Merge branch 'devel' into 'main'
changing parameters for configless
See merge request glicid-public/guix-glicid!187
|
2023-01-10 10:50:40 +00:00 |
|
|
df8f2c1698
|
changing parameters for configless
|
2023-01-10 11:50:04 +01:00 |
|
|
de26aa2330
|
Merge branch 'devel' into 'main'
testing nested if for configless slurmd
See merge request glicid-public/guix-glicid!186
|
2023-01-10 10:35:50 +00:00 |
|
|
6edbece769
|
testing nested if for configless slurmd
|
2023-01-10 11:35:29 +01:00 |
|
|
14168f37b0
|
Merge branch 'devel' into 'main'
testing nested if for configless slurmd
See merge request glicid-public/guix-glicid!185
|
2023-01-10 10:25:18 +00:00 |
|
|
cb090f9787
|
testing nested if for configless slurmd
|
2023-01-10 11:24:53 +01:00 |
|
|
6dae445777
|
Merge branch 'devel' into 'main'
never use guix reformater again
See merge request glicid-public/guix-glicid!184
|
2023-01-10 10:21:04 +00:00 |
|
|
5d77b3c76a
|
never use guix reformater again
|
2023-01-10 11:17:38 +01:00 |
|
|
fb854b4407
|
Merge branch 'devel' into 'main'
bump rsyslog version
See merge request glicid-public/guix-glicid!183
|
2023-01-06 08:42:28 +00:00 |
|
|
c221ef4185
|
bump rsyslog version
|
2023-01-06 09:41:48 +01:00 |
|
|
89d8b12953
|
Merge branch 'devel' into 'main'
Devel
See merge request glicid-public/guix-glicid!182
|
2023-01-06 08:41:30 +00:00 |
|
|
432535d527
|
Merge branch 'devel' of gitlab.univ-nantes.fr:glicid-public/guix-glicid into devel
|
2023-01-06 09:40:38 +01:00 |
|
|
67231e697d
|
bump rsyslog version
|
2023-01-06 09:40:29 +01:00 |
|
|
8c431881de
|
Merge branch 'devel' into 'main'
Devel
See merge request glicid-public/guix-glicid!181
|
2023-01-05 15:09:35 +00:00 |
|
|
8876d01e5e
|
Merge branch 'devel' of gitlab.univ-nantes.fr:glicid-public/guix-glicid into devel
|
2023-01-05 16:09:03 +01:00 |
|
|
5822cf82ef
|
adding rsyslog service
|
2023-01-05 16:08:56 +01:00 |
|
|
2ed80ca48e
|
Merge branch 'devel' into 'main'
updating nginx and some modules defs
See merge request glicid-public/guix-glicid!180
|
2023-01-05 08:23:45 +00:00 |
|
|
dfd23a25ba
|
updating nginx and some modules defs
|
2023-01-05 09:23:05 +01:00 |
|
|
6056944fe8
|
Merge branch 'devel' into 'main'
adding rsyslog service
See merge request glicid-public/guix-glicid!179
|
2023-01-04 15:47:00 +00:00 |
|
|
2a6e4103cd
|
adding rsyslog service
|
2023-01-04 16:46:35 +01:00 |
|
|
3fc6157cf4
|
Merge branch 'devel' into 'main'
adding rsyslog service
See merge request glicid-public/guix-glicid!178
|
2023-01-04 15:11:33 +00:00 |
|
|
a84d8e0e19
|
adding rsyslog service
|
2023-01-04 16:11:18 +01:00 |
|
|
1e8eea07a0
|
Merge branch 'devel' into 'main'
adding rsyslog service
See merge request glicid-public/guix-glicid!177
|
2023-01-04 15:07:01 +00:00 |
|
|
a34cf8c656
|
adding rsyslog service
|
2023-01-04 16:06:40 +01:00 |
|
|
8a6a277259
|
Merge branch 'devel' into 'main'
adding rsyslog service
See merge request glicid-public/guix-glicid!176
|
2023-01-04 14:48:59 +00:00 |
|
|
23a5f80003
|
adding rsyslog service
|
2023-01-04 15:48:31 +01:00 |
|
|
ce085cda3b
|
Merge branch 'devel' into 'main'
adding rsyslog service
See merge request glicid-public/guix-glicid!175
|
2023-01-04 14:25:59 +00:00 |
|
|
a706564483
|
adding rsyslog service
|
2023-01-04 15:22:59 +01:00 |
|
|
1cdf8d2db9
|
Merge branch 'devel' into 'main'
add a «magic number» uid for slurm (has to be consistent on the cluster)
See merge request glicid-public/guix-glicid!174
|
2023-01-02 16:38:21 +00:00 |
|
|
a5267c68d5
|
add a «magic number» uid for slurm (has to be consistent on the cluster)
|
2023-01-02 17:37:24 +01:00 |
|
|
0abd44ef3f
|
Merge branch 'devel' into 'main'
ucx 1.13.1 changed again ???
See merge request glicid-public/guix-glicid!173
|
2023-01-02 14:09:07 +00:00 |
|
|
c1dc5ce944
|
ucx 1.13.1 changed again ???
|
2023-01-02 15:08:24 +01:00 |
|
|
0840827974
|
Merge branch 'devel' into 'main'
openmpi-glicid is now the name of openmpi with all component uptodate
See merge request glicid-public/guix-glicid!172
|
2023-01-02 14:04:34 +00:00 |
|
|
c63c1398e9
|
openmpi-glicid is now the name of openmpi with all component uptodate
|
2023-01-02 15:03:32 +01:00 |
|
|
009b4793b3
|
Merge branch 'devel' into 'main'
Devel
See merge request glicid-public/guix-glicid!171
|
2023-01-02 13:47:02 +00:00 |
|
|
d64f855665
|
guix style.
|
2023-01-02 14:46:20 +01:00 |
|
|
64f646fc68
|
bump slurm version
|
2023-01-02 14:46:00 +01:00 |
|
|
5dbb34c9fc
|
Merge branch 'devel' into 'main'
bump rdma-core
See merge request glicid-public/guix-glicid!170
|
2023-01-02 11:39:29 +00:00 |
|
|
433b5294d7
|
bump rdma-core
|
2023-01-02 12:38:59 +01:00 |
|
|
8eee212707
|
Merge branch 'devel' into 'main'
Devel
See merge request glicid-public/guix-glicid!169
|
2023-01-02 10:54:03 +00:00 |
|
|
83156c605e
|
bump libfabric version, del old versions
|
2023-01-02 11:53:18 +01:00 |
|
|
65ca6fb4ae
|
change input to new-style def
|
2023-01-02 11:45:53 +01:00 |
|
|
a3f2caebe4
|
Merge branch 'devel' into 'main'
use guix style on *.scm
See merge request glicid-public/guix-glicid!168
|
2023-01-02 10:20:30 +00:00 |
|
|
09e78ddc85
|
use guix style on *.scm
|
2023-01-02 11:18:12 +01:00 |
|
|
850d59412f
|
Merge branch 'devel' into 'main'
Devel
See merge request glicid-public/guix-glicid!167
|
2022-12-24 10:37:56 +00:00 |
|
|
a85adcc847
|
corefreq
|
2022-12-24 11:36:42 +01:00 |
|
|
3bcdf3f3ee
|
Merge branch 'devel' of gitlab.univ-nantes.fr:glicid-public/guix-glicid into devel
|
2022-12-24 11:33:27 +01:00 |
|
|
2c935966d6
|
corefreq
|
2022-12-24 11:33:12 +01:00 |
|