Skip to content
Update Nix Flake Inputs

Escaping unicode in 1633 issue #1953

Sign in to view logs

Escaping unicode in 1633 issue

Escaping unicode in 1633 issue #1953

Triggered via push August 6, 2024 20:15
@RobertorosmaninhoRobertorosmaninho
pushed 9ac72e9
_update-deps/runtimeverification/llvm-backend
Status Success
Total duration 1m 4s
Artifacts –

update-deps.yml

on: push
Nix flake submodule sync
56s
Nix flake submodule sync
Fit to window
Zoom out
Zoom in