chore(dgsi): Update
All checks were successful
build configuration / build_vault01 (push) Successful in 1m12s
build configuration / build_storage01 (push) Successful in 1m14s
build configuration / build_web02 (push) Successful in 1m18s
build configuration / build_web01 (push) Successful in 1m42s
build configuration / build_compute01 (push) Successful in 1m56s
lint / check (push) Successful in 23s
build configuration / build_geo02 (push) Successful in 1m4s
build configuration / build_geo01 (push) Successful in 1m8s
build configuration / build_bridge01 (push) Successful in 1m6s
build configuration / build_rescue01 (push) Successful in 1m13s
build configuration / push_to_cache_storage01 (push) Successful in 1m30s
build configuration / push_to_cache_web02 (push) Successful in 1m24s
build configuration / push_to_cache_vault01 (push) Successful in 1m40s
build configuration / push_to_cache_geo02 (push) Successful in 1m21s
build configuration / push_to_cache_compute01 (push) Successful in 1m44s
build configuration / push_to_cache_web01 (push) Successful in 2m9s
build configuration / push_to_cache_geo01 (push) Successful in 1m12s
build configuration / push_to_cache_bridge01 (push) Successful in 1m10s
build configuration / push_to_cache_rescue01 (push) Successful in 1m14s

This commit is contained in:
Tom Hubrecht 2024-09-30 20:23:57 +02:00
parent 53379c88de
commit 14ad93aed9
Signed by: thubrecht
SSH key fingerprint: SHA256:r+nK/SIcWlJ0zFZJGHtlAoRwq1Rm+WcKAm5ADYMoQPc

View file

@ -57,9 +57,9 @@
"url": "https://git.dgnum.eu/DGNum/dgsi.git" "url": "https://git.dgnum.eu/DGNum/dgsi.git"
}, },
"branch": "main", "branch": "main",
"revision": "fa8f8a214fce9b8eaea1aa7da530237d1e650ff2", "revision": "a88d31541cfd836ba2bd4bb3c8ec8142e4cd8aa2",
"url": null, "url": null,
"hash": "09rkv7dsjqh6w7y6vzqynsab0n4n3r80ky306156bcxzf1ib45x8" "hash": "0z31ib1xjdyzpwdnbj4j7r9nb5baiab3nbx0wg55dh2ifkxp2vqb"
}, },
"disko": { "disko": {
"type": "GitRelease", "type": "GitRelease",