chore(dgsi): Update
All checks were successful
lint / check (push) Successful in 25s
build configuration / build_and_cache_bridge01 (push) Successful in 1m9s
build configuration / build_and_cache_web02 (push) Successful in 1m13s
build configuration / build_and_cache_vault01 (push) Successful in 1m21s
build configuration / build_and_cache_web01 (push) Successful in 1m41s
build configuration / build_and_cache_geo01 (push) Successful in 1m18s
build configuration / build_and_cache_geo02 (push) Successful in 1m20s
build configuration / build_and_cache_rescue01 (push) Successful in 1m27s
build configuration / build_and_cache_storage01 (push) Successful in 1m27s
build configuration / build_and_cache_compute01 (push) Successful in 2m0s
build configuration / build_and_cache_krz01 (push) Successful in 2m17s

This commit is contained in:
Tom Hubrecht 2024-10-12 22:25:53 +02:00
parent 06653220bb
commit 4b2d1cde5b
Signed by: thubrecht
SSH key fingerprint: SHA256:r+nK/SIcWlJ0zFZJGHtlAoRwq1Rm+WcKAm5ADYMoQPc

View file

@ -45,9 +45,9 @@
"url": "https://git.dgnum.eu/DGNum/dgsi.git"
},
"branch": "main",
"revision": "304fe1f24968263872a8d73dc5fc7c4d7e4a7db1",
"revision": "24f825c1dd34a3948cce7d39c19623ecf948ffa7",
"url": null,
"hash": "0q2fgy6vf4g0a89wb0k7mcivz0396q7vshixsjvs27adrd179g42"
"hash": "0b1pmfzckdbha9j7bvnkvqccf62dqyll8ip6mrdm90m0y8kdkzvg"
},
"disko": {
"type": "GitRelease",