Tom Hubrecht
f733548174
All checks were successful
build configuration / build_vault01 (push) Successful in 52s
build configuration / build_storage01 (push) Successful in 57s
build configuration / build_web01 (push) Successful in 1m14s
build configuration / build_web02 (push) Successful in 43s
build configuration / build_compute01 (push) Successful in 6m55s
npins update / npins_update (push) Successful in 57s
6 lines
163 B
Nix
6 lines
163 B
Nix
_:
|
|
|
|
builtins.map (id:
|
|
builtins.fetchurl
|
|
"https://git.dgnum.eu/DGNum/demarches-normaliennes/commit/${id}.patch")
|
|
[ "0e8fc7cd890b9a8bdc9cc5b3e40fe11a717b69af" ]
|