Update dependency: deps/llvm-backend_release#4737

Open

rv-jenkins wants to merge 7 commits intodevelopfrom _update-deps/runtimeverification/llvm-backend

+7-7

Commits on Jan 17, 2025

deps/llvm-backend_release: Set Version 0.1.123
devops
committed
flake.nix, llvm-backend/src/main/native/llvm-backend: update to version v0.1.123
rv-jenkins
committed
flake.lock: update
rv-jenkins
committed

Commits on Jan 22, 2025

Merge remote-tracking branch 'origin/develop' into _update-deps/runtimeverification/llvm-backend
devops
committed
deps/llvm-backend_release: Set Version 0.1.124
devops
committed
flake.nix, llvm-backend/src/main/native/llvm-backend: update to version v0.1.124
rv-jenkins
committed
flake.lock: update
rv-jenkins
committed