chore(metis): Update
All checks were successful
build configuration / build_and_cache_geo01 (push) Successful in 1m11s
build configuration / build_and_cache_storage01 (push) Successful in 1m20s
build configuration / build_and_cache_compute01 (push) Successful in 1m36s
build configuration / build_and_cache_rescue01 (push) Successful in 1m55s
build configuration / build_and_cache_krz01 (push) Successful in 2m4s
build configuration / build_and_cache_geo02 (push) Successful in 1m4s
build configuration / build_and_cache_vault01 (push) Successful in 1m18s
lint / check (push) Successful in 25s
build configuration / build_and_cache_bridge01 (push) Successful in 1m4s
build configuration / build_and_cache_web02 (push) Successful in 1m15s
build configuration / build_and_cache_web01 (push) Successful in 1m47s

This commit is contained in:
Tom Hubrecht 2024-10-12 17:29:51 +02:00
parent bb4a24f9e9
commit 8043f8d4ab
Signed by: thubrecht
SSH key fingerprint: SHA256:r+nK/SIcWlJ0zFZJGHtlAoRwq1Rm+WcKAm5ADYMoQPc

View file

@ -178,9 +178,9 @@
"url": "https://git.dgnum.eu/DGNum/metis" "url": "https://git.dgnum.eu/DGNum/metis"
}, },
"branch": "master", "branch": "master",
"revision": "9eaa1f289751b6b62f700e8e0e0ddbfbaa98c021", "revision": "f631751da44a330c41398356ce2295e17ed45b7b",
"url": null, "url": null,
"hash": "0m9il1lllw59a6l9vwfi1bika7g4pxs20clc48kklpflnk0scb1f" "hash": "1laclhq6jz9mni4vxsxk3c143c2x478z1lqj115mqyj0d62rz8mg"
}, },
"microvm.nix": { "microvm.nix": {
"type": "Git", "type": "Git",