Skip to content
Update Nix Flake Inputs

Merge branch 'develop' into _update-deps/runtimeverification/llvm-bac… #2199

Sign in to view logs

Merge branch 'develop' into _update-deps/runtimeverification/llvm-bac…

Merge branch 'develop' into _update-deps/runtimeverification/llvm-bac… #2199

Triggered via push February 20, 2025 17:25
@automergerpr-permission-managerautomergerpr-permission-manager[bot]
pushed 6600ac3
_update-deps/runtimeverification/llvm-backend
Status Success
Total duration 1m 15s
Artifacts –

update-deps.yml

on: push
Nix flake submodule sync
1m 8s
Nix flake submodule sync
Fit to window
Zoom out
Zoom in