Skip to content
Update Nix Flake Inputs

Updating prooftrace tests with new version and new size of function e… #2005

Sign in to view logs

Updating prooftrace tests with new version and new size of function e…

Updating prooftrace tests with new version and new size of function e… #2005

Triggered via push August 20, 2024 22:43
@RobertorosmaninhoRobertorosmaninho
pushed cc20aee
_update-deps/runtimeverification/llvm-backend
Status Success
Total duration 1m 12s
Artifacts –

update-deps.yml

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