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

chore(npins): Update dgnum-retired
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 1m25s
Details

Browse source
This commit is contained in:
Tom Hubrecht 2023-12-21 15:29:09 +01:00
parent df033fb84d
commit ff0c143c3f
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
npins/sources.json
View file

@ -33,9 +33,9 @@
"url": "https://git.dgnum.eu/DGNum/dgnum-retired" "url": "https://git.dgnum.eu/DGNum/dgnum-retired"
}, },
"branch": "main", "branch": "main",
"revision": "64467c33627d30c837514e984cfa350f033d6854", "revision": "735e56edee3b8a74c6d77463b6535308ac85c7b1",
"url": null, "url": null,
"hash": "1icq0ak55ylbm5hkbx6ar0dvr883q7amqva48b64xd8m8qrkng3l" "hash": "0mbk3r2r4r4z1vzddizbf59mm5r2f0ikis0scyfc6qpb4lr78msy"
}, },
"disko": { "disko": {
"type": "GitRelease", "type": "GitRelease",