DGNum/infrastructure
13
6
Fork 3
Code Issues 19 Pull requests 8 Projects 1 Releases Packages Wiki Activity Actions

feat(ds-fr): Update dgnum patch
All checks were successful
build configuration / build_storage01 (push) Successful in 48s
Details
build configuration / build_web01 (push) Successful in 53s
Details
build configuration / build_compute01 (push) Successful in 6m17s
Details

Browse source
This commit is contained in:
Tom Hubrecht 2024-01-07 20:16:57 +01:00
parent c5e15987ed
commit 194919bc5a
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
machines/compute01/ds-fr/package/dgnum.nix
View file

@ -3,4 +3,4 @@ _:
builtins.map (id: builtins.map (id:
builtins.fetchurl builtins.fetchurl
"https://git.dgnum.eu/DGNum/demarches-normaliennes/commit/${id}.patch") "https://git.dgnum.eu/DGNum/demarches-normaliennes/commit/${id}.patch")
[ "917669e4fd55d961793af7a44738e96d72b66507" ] [ "487eb8f8abfa5d8a6394c5886167343c7ee52be1" ]